Stumpfenstiel has quit [Ping timeout: 248 seconds]
wingsorc has joined #ocaml
wingsorc has quit [Read error: Connection reset by peer]
bobo_ has joined #ocaml
spip has quit [Ping timeout: 255 seconds]
wingsorc has joined #ocaml
waleee has joined #ocaml
Haudegen has quit [Ping timeout: 255 seconds]
rgrinberg has quit [Ping timeout: 260 seconds]
rgrinberg has joined #ocaml
lucerne has quit [Ping timeout: 268 seconds]
ewd has quit [Ping timeout: 276 seconds]
spip has joined #ocaml
bobo_ has quit [Ping timeout: 260 seconds]
chrisz has quit [Ping timeout: 272 seconds]
chrisz has joined #ocaml
waleee has quit [Ping timeout: 246 seconds]
xd1le has joined #ocaml
lucerne has joined #ocaml
xd1le_ has joined #ocaml
xd1le has quit [Ping timeout: 260 seconds]
lucerne has quit [Read error: Connection reset by peer]
jao has quit [Ping timeout: 272 seconds]
bartholin has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
troydm has joined #ocaml
Serpent7776 has joined #ocaml
troydm has quit [Client Quit]
troydm has joined #ocaml
troydm has quit [Client Quit]
troydm has joined #ocaml
troydm has quit [Client Quit]
bartholin has quit [Read error: Connection reset by peer]
azimut has quit [Ping timeout: 255 seconds]
troydm has joined #ocaml
troydm has quit [Client Quit]
troydm has joined #ocaml
troydm has quit [Client Quit]
Serpent7776 has quit [Ping timeout: 260 seconds]
bartholin has joined #ocaml
bartholin has quit [Remote host closed the connection]
<ski>
it might be nice if one could say something like `printf "foo : %10s{str} (%.2d{x})\n"'
wingsorc has quit [Quit: Leaving]
troydm has joined #ocaml
jedb has joined #ocaml
jedb_ has quit [Ping timeout: 260 seconds]
waleee has joined #ocaml
mro has joined #ocaml
rgrinberg has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
azimut has joined #ocaml
waleee has quit [Ping timeout: 276 seconds]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
wingsorc has joined #ocaml
azimut has quit [Ping timeout: 255 seconds]
azimut_ has joined #ocaml
azimut_ has quit [Remote host closed the connection]
azimut has joined #ocaml
wingsorc has quit [Quit: Leaving]
wingsorc has joined #ocaml
jlrnick has joined #ocaml
waleee has joined #ocaml
dhil has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
Stumpfenstiel has joined #ocaml
mro_ has joined #ocaml
jlrnick has quit [Ping timeout: 276 seconds]
mro has quit [Ping timeout: 260 seconds]
mro_ has quit [Remote host closed the connection]
wingsorc has quit [Ping timeout: 246 seconds]
jao has joined #ocaml
zebrag has joined #ocaml
Serpent7776 has quit [Ping timeout: 248 seconds]
jao has quit [Remote host closed the connection]
xd1le_ has quit [Quit: xd1le_]
mro has joined #ocaml
mro has quit [Ping timeout: 246 seconds]
jao has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
bartholin has joined #ocaml
ewd has joined #ocaml
jao has quit [Remote host closed the connection]
jao has joined #ocaml
mro has joined #ocaml
troydm has quit [Ping timeout: 248 seconds]
oriba has joined #ocaml
<energizer>
afaik there's no ML designed to be used from a REPL like a Lisp. is there a reason for that, something that makes ML unsuitable for dynamic interactivity?
<sim642>
Designed to be used from REPL in what sense?
<energizer>
that's kinda what i'm asking
<sim642>
OCaml comes with a REPL
<sim642>
Some people even use the REPL style of ending declarations with ;; in non-REPL code, while that's only necessary in REPL
<energizer>
is there no downside to it, relative to using lisp/python from a repl?
<sim642>
Depends what you'd consider a downside
<energizer>
well whaddya got
<sim642>
The default repl isn't super interactive (no readline), but there's utop which fixes those shortcomings
<companion_cube>
energizer: maybe poly/ML? It's more designed for interactive use
<sim642>
Because editing non-trivially sized code makes a lot more sense in an actual editor
<sim642>
companion_cube, in what way?
<energizer>
sim642: it's common in interactive languages to edit in an editor and send expressions to a running repl on the side
<companion_cube>
sim642: afaik it's entirely designed to load and compile code at runtime
<sim642>
But why bother with a REPL at all then?
<companion_cube>
Like most lisps
<energizer>
so you can build up some data and interactively explore it, for example
<olle>
Can be fun during learning
<olle>
Tho the lack of rlwarp is just... awful
<sim642>
There is one thing which has a somewhat interactive flavor though: inline tests
<sim642>
So the kind of manual testing of the function you're implementing doesn't need to be done again and again in the REPL
<sim642>
But you just write small tests right after the implementation and can have them rerun on any changes
salkin has joined #ocaml
<olle>
Never used REPL for testing
<energizer>
companion_cube: do you happen to know how does poly compare in usability to lisp/python for interactivity?
mro has quit [Remote host closed the connection]
mro has joined #ocaml
<companion_cube>
Idk, it's mostly used for Isabelle/HOL which is interactive
<companion_cube>
But otherwise? No idea
mro_ has joined #ocaml
mro has quit [Ping timeout: 260 seconds]
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
<olle>
Ooooh, so it is possible to partial match a record!
Guest45 has joined #ocaml
<Guest45>
Hi, I was browsing the Opam source code and noticed the symbol "@@+" appearing often. What does this do? Is there a manual page that I can read for it? Google told me that "@@" alone means function composition, but I'm not sure what the extra "+" does. Thanks.
<companion_cube>
Guest45: it must be defined somewhere in opam, it's not standard
<Guest45>
Got it, will search for its definition. Thank you!
mro_ has quit [Remote host closed the connection]
mro has joined #ocaml
manicennui has left #ocaml [#ocaml]
<Guest45>
found it - if anyone else wants to know, it's defined in core/opamProcess.ml; Thanks again for the help!
Guest45 has quit [Quit: Client closed]
troydm has joined #ocaml
mro has quit [Quit: Leaving...]
Haudegen has quit [Quit: No Ping reply in 180 seconds.]