kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
mengu has joined #ocaml
kvda has quit [Client Quit]
mengu has quit [Ping timeout: 250 seconds]
kvda has joined #ocaml
kvda has quit [Client Quit]
mengu has joined #ocaml
mengu has quit [Ping timeout: 250 seconds]
<Leonidas>
Drup: Eventually once we use dune-release to http://ocaml-community.github.io/yojson I would hope (since it will contain the generated docs) but in the meantime maybe just remove it altogether?
pierpal has joined #ocaml
mengu has joined #ocaml
<Drup>
done
<Leonidas>
thanks
mengu has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
powerbit has quit [Remote host closed the connection]
mengu has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 272 seconds]
pierpal has quit [Read error: Connection reset by peer]
jao has quit [Disconnected by services]
mengu_ has quit [Ping timeout: 250 seconds]
jao has joined #ocaml
<flux[m]>
hmm, I wonder if it's any problem that let* a = assert false in .. won't be translated into a something that postpones the evaluationg of the assert false
<flux[m]>
also the story continues with a monadic match expression in the future. stay tuned!
<companion_cube>
oh boy
<spew>
good grief I'm going back to sml
<companion_cube>
sml-reason
<spew>
if I wanted insanity I would just switch to haskell
<companion_cube>
it also has multicore! :p
<Drup>
flux[m]: no, it can't really do that. letX x = e1 in e2 is always translated to `fX e1 (fun x -> e2)`
<Drup>
It's really like a bind. The bind can't change the evaluation mode of the input.
<Leonidas>
companion_cube: yes, I can get rid of ppx_let \o/
iovec has joined #ocaml
<flux[m]>
maybe the monadic craze of OCaml will reduce once we get the effect system ;), letting monads shine in the appropriate applications such as parsers!
<flux[m]>
where stuff like exceptions are less of a problem.
<Armael>
uhh
<companion_cube>
I don't know, I mostly use monads for weird backtracking stuff, I guess
<Drup>
flux[m]: honestly, I'm really not so convinced by that particular feature
<flux[m]>
Drup: are you concinced about non-monadic concurrency?
<Drup>
(that feature = monadic let)
<flux[m]>
oh, right
<flux[m]>
why aren't you convinced about it?
<Drup>
It feels unclean
<Drup>
I feel it's only half the answer, and not a fully designed solution
<Drup>
I would prefer actually getting proper computational expressions, or something like that.
<flux[m]>
on the other hand it's a pragmatic solution to a common problem. computational expressions would be a new feature akin to ppx itself?
<flux[m]>
maybe if someone builds a cool prototype of computational expressions with ppx then it could gain some traction
<Drup>
Not really, no, computational expressions are more or less the same thing, but extended to a bigger part of the syntax.
<flux[m]>
how hard can it be! :)
<Drup>
and a bit more though-out, in my opinion
<Drup>
hm, didn't people already did that ?
<Drup>
there is a GADT-fueled version in companion_cube's containers anyway
<flux[m]>
computational expressions are like being able to write real ocaml, but instead of it being evaluated you get its ast that has passed type checking?
<flux[m]>
what's the cc's module called? looking at the github..
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
lokydor has quit [Remote host closed the connection]
gareppa has joined #ocaml
themsay has joined #ocaml
gareppa has quit [Remote host closed the connection]
themsay has quit [Ping timeout: 268 seconds]
<Drup>
companion_cube ?
<companion_cube>
can't find it
<companion_cube>
are you talking about the IO wrapper, or merging GADT?
jao has quit [Ping timeout: 246 seconds]
ziyourenxiang has quit [Ping timeout: 240 seconds]
Haudegen has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
jao has joined #ocaml
mengu has quit [Quit: Leaving...]
FreeBirdLjj has quit [Remote host closed the connection]
roryrjb has joined #ocaml
roryrjb has quit [Client Quit]
al-damiri has joined #ocaml
lokydor has joined #ocaml
env__ has joined #ocaml
fraxamo has joined #ocaml
themsay has joined #ocaml
themsay has quit [Ping timeout: 250 seconds]
donryudragoni has joined #ocaml
chjk6x has joined #ocaml
donryudragoni has quit [Quit: WeeChat 2.3]
Haudegen has joined #ocaml
jbrown has quit [Ping timeout: 252 seconds]
themsay has joined #ocaml
jao has quit [Ping timeout: 246 seconds]
donryudragoni has joined #ocaml
themsay has quit [Ping timeout: 246 seconds]
sagotch has quit [Quit: Leaving.]
donryudragoni has quit [Client Quit]
themsay has joined #ocaml
donryudragoni has joined #ocaml
themsay has quit [Read error: Connection reset by peer]
themsay has joined #ocaml
jbrown has joined #ocaml
chjk6x has quit [Ping timeout: 246 seconds]
env__ has quit [Ping timeout: 250 seconds]
env__ has joined #ocaml
themsay has quit [Ping timeout: 240 seconds]
themsay has joined #ocaml
recj has joined #ocaml
jnavila has joined #ocaml
themsay has quit [Ping timeout: 240 seconds]
env__ has quit [Ping timeout: 246 seconds]
mengu has joined #ocaml
themsay has joined #ocaml
Algebr has joined #ocaml
themsay has quit [Read error: Connection reset by peer]
themsay has joined #ocaml
env__ has joined #ocaml
recj has quit [Ping timeout: 268 seconds]
recj has joined #ocaml
sagotch has joined #ocaml
slamzy has joined #ocaml
ygrek has joined #ocaml
lokydor has quit [Quit: leaving]
lokydor has joined #ocaml
donryudragoni has quit [Ping timeout: 245 seconds]
waleee has quit [Quit: WeeChat 2.3]
kvda has joined #ocaml
chjk6x has joined #ocaml
wickedshell has quit [Ping timeout: 250 seconds]
wickedshell has joined #ocaml
pierpal has joined #ocaml
sagotch has quit [Quit: Leaving.]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kakadu_ has joined #ocaml
Haudegen has quit [Remote host closed the connection]
fraxamo has quit [Quit: Leaving]
jao has joined #ocaml
Ptival has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
env__ has quit [Ping timeout: 250 seconds]
roryrjb has joined #ocaml
roryrjb has quit [Client Quit]
env__ has joined #ocaml
Haudegen has joined #ocaml
env__ has quit [Ping timeout: 250 seconds]
powerbit has joined #ocaml
powerbit has quit [Excess Flood]
spew has quit [Quit: going home]
powerbit has joined #ocaml
powerbit has quit [Excess Flood]
powerbit has joined #ocaml
powerbit has quit [Excess Flood]
powerbit has joined #ocaml
powerbit has quit [Excess Flood]
powerbit has joined #ocaml
Algebr has quit [Ping timeout: 245 seconds]
zolk3ri has quit [Ping timeout: 256 seconds]
Algebr has joined #ocaml
Algebr is now known as Guest56552
jnavila has quit [Remote host closed the connection]
maarhart has joined #ocaml
maarhart has quit [Client Quit]
mrallen1_ has joined #ocaml
vinoski_ has joined #ocaml
mjvoge02_ has joined #ocaml
nkaretnikov_ has joined #ocaml
gonz__ has joined #ocaml
cbarrett_ has joined #ocaml
breitenj- has joined #ocaml
runciter_ has joined #ocaml
kvda has joined #ocaml
cbarrett has quit [Ping timeout: 250 seconds]
runciter has quit [Ping timeout: 250 seconds]
gonz_ has quit [Ping timeout: 250 seconds]
mjvoge02 has quit [Ping timeout: 250 seconds]
mrallen1 has quit [Ping timeout: 250 seconds]
breitenj has quit [Ping timeout: 250 seconds]
nkaretnikov has quit [Ping timeout: 250 seconds]
vinoski has quit [Ping timeout: 250 seconds]
hdurer[m] has quit [Ping timeout: 250 seconds]
equalunique[m] has quit [Ping timeout: 250 seconds]
aubian has quit [Ping timeout: 250 seconds]
ZirconiumX has quit [Ping timeout: 250 seconds]
asm89 has quit [Ping timeout: 250 seconds]
smondet[m] has quit [Ping timeout: 250 seconds]
jonh has quit [Ping timeout: 250 seconds]
ZirconiumY has joined #ocaml
gonz__ is now known as gonz_
mrallen1_ is now known as mrallen1
cbarrett_ is now known as cbarrett
mjvoge02_ is now known as mjvoge02
vinoski_ is now known as vinoski
nkaretnikov_ is now known as nkaretnikov
hdurer[m] has joined #ocaml
equalunique[m] has joined #ocaml
jonh has joined #ocaml
smondet[m] has joined #ocaml
asm89 has joined #ocaml
jack5638 has quit [Ping timeout: 246 seconds]
andrewalker has quit [Ping timeout: 246 seconds]
aubian has joined #ocaml
ZirconiumY is now known as ZirconiumX
zolk3ri has joined #ocaml
andrewalker has joined #ocaml
Guest64 has joined #ocaml
jack5638 has joined #ocaml
Guest64 has quit [Remote host closed the connection]
env__ has joined #ocaml
jao has quit [Disconnected by services]
jao has joined #ocaml
slamzy has quit [Ping timeout: 256 seconds]
recj has quit [Ping timeout: 246 seconds]
chjk6x has quit [Ping timeout: 246 seconds]
chjk6x has joined #ocaml
Haudegen has quit [Remote host closed the connection]
kakadu_ has quit [Remote host closed the connection]