adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
Haudegen has quit [Read error: Connection reset by peer]
Algebr has quit [Ping timeout: 250 seconds]
<Leonidas> Drup: \o/
env__ has quit [Ping timeout: 268 seconds]
dsp has quit [Ping timeout: 250 seconds]
mengu has quit [Remote host closed the connection]
env__ has joined #ocaml
dsp has joined #ocaml
jbrown has quit [Ping timeout: 252 seconds]
jbrown has joined #ocaml
mengu has joined #ocaml
quipa has quit [Read error: Connection reset by peer]
mengu has quit [Ping timeout: 250 seconds]
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
mfp has quit [Ping timeout: 250 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
ygrek has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
env__ has quit [Ping timeout: 268 seconds]
mengu has joined #ocaml
tormen has joined #ocaml
mengu has quit [Ping timeout: 246 seconds]
tormen_ has quit [Ping timeout: 245 seconds]
zozozo has quit [Ping timeout: 264 seconds]
richi235 has quit [Ping timeout: 252 seconds]
env__ has joined #ocaml
zozozo has joined #ocaml
richi235 has joined #ocaml
zozozo has quit [Ping timeout: 252 seconds]
zozozo has joined #ocaml
jao has quit [Ping timeout: 246 seconds]
env__ has quit [Ping timeout: 240 seconds]
env__ has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
jao has joined #ocaml
shmibs has quit [Quit: leaving =o]
shmibs has joined #ocaml
jao has quit [Remote host closed the connection]
al-damiri has quit [Quit: Connection closed for inactivity]
mengu has joined #ocaml
mengu has quit [Ping timeout: 252 seconds]
GGMethos has joined #ocaml
GGMethos has quit [Remote host closed the connection]
env__ has quit [Ping timeout: 246 seconds]
env__ has joined #ocaml
h11 has quit [Remote host closed the connection]
sagotch has joined #ocaml
steenuil has quit [Remote host closed the connection]
env__ has quit [Ping timeout: 250 seconds]
env__ has joined #ocaml
themsay has quit [Ping timeout: 268 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mengu has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
pbodev1 has quit [Read error: Connection reset by peer]
pbodev2 has joined #ocaml
pbodev2 has quit [Client Quit]
pbodev1 has joined #ocaml
pbodev1 has quit [Excess Flood]
pbodev1 has joined #ocaml
pbodev1 has quit [Excess Flood]
pbodev1 has joined #ocaml
pbodev1 has quit [Excess Flood]
pbodev1 has joined #ocaml
pbodev1 has quit [Excess Flood]
pbodev1 has joined #ocaml
pbodev1 has quit [Excess Flood]
pbodev1 has joined #ocaml
pbodev1 has quit [Excess Flood]
pbodev1 has joined #ocaml
pbodev1 has quit [Excess Flood]
pbodev1 has joined #ocaml
pbodev1 has quit [Excess Flood]
pbodev1 has joined #ocaml
pbodev1 has quit [Excess Flood]
roryrjb has joined #ocaml
roryrjb has quit [Client Quit]
roryrjb has joined #ocaml
roryrjb has quit [Client Quit]
roryrjb has joined #ocaml
powerbit has joined #ocaml
powerbit has quit [Remote host closed the connection]
powerbit has joined #ocaml
powerbit has quit [Excess Flood]
Haudegen has joined #ocaml
kvda has joined #ocaml
powerbit has joined #ocaml
powerbit has quit [Excess Flood]
powerbit has joined #ocaml
<xvilka> why
<xvilka> why OCaml exceptions do not print file and line by default
<xvilka> if exception happens somewhere in the 3rd party library searching the place is pure hell
<xvilka> (and why not just write libraries in purely functional fashion?)
<xvilka> during these days I want to give up OCaml and switch to Haskell instead
env__ has quit [Ping timeout: 240 seconds]
roryrjb2 has joined #ocaml
roryrjb2 has quit [Client Quit]
powerbit has joined #ocaml
powerbit has quit [Client Quit]
env__ has joined #ocaml
mfp has joined #ocaml
powerbit has joined #ocaml
<Leonidas> xvilka: because old ocaml was pretty imperative :(
<Leonidas> xvilka: are you setting -g?
<Leonidas> Drup: Can you also set the URL to something accurate that is not atdgen? https://github.com/ocaml-community/yojson
dmiles has quit [Ping timeout: 246 seconds]
sagotch has quit [Ping timeout: 260 seconds]
sagotch has joined #ocaml
<xvilka> Leonidas: hmm, no, let me try
mengu has joined #ocaml
dmiles has joined #ocaml
env__ has quit [Ping timeout: 250 seconds]
mengu has quit [Ping timeout: 272 seconds]
sagotch has quit [Ping timeout: 260 seconds]
<Drup> Leonidas: sure, to where ?
sagotch has joined #ocaml
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]
mengu has joined #ocaml
maarhart has joined #ocaml
zolk3ri has joined #ocaml
maarhart has quit [Quit: Mutter: www.mutterirc.com]
<theblatte> is there a way for ocamlc to warn about unused module type declarations? I think I've turned on all I could but it still doesn't
sagotch has quit [Quit: Leaving.]
<octachron> theblatte, no, unused module types are not tracked by the typing environment.
pierpal has quit [Read error: Connection reset by peer]
<theblatte> octachron: SAD
johnelse has quit [Quit: leaving]
johnelse has joined #ocaml
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
slamzy has joined #ocaml
sagotch has joined #ocaml
Haudegen has quit [Remote host closed the connection]
auronandace29 has joined #ocaml
auronandace29 has quit [Ping timeout: 268 seconds]
mengu has quit [Remote host closed the connection]
spew has joined #ocaml
mengu has joined #ocaml
epicmorphism is now known as epimrphsm
valtr_ has left #ocaml [#ocaml]
valtr has joined #ocaml
waleee has joined #ocaml
h11 has joined #ocaml
pierpal has joined #ocaml
aggelos_ has quit [Ping timeout: 246 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
FreeBirdLjj has joined #ocaml
roryrjb has quit [Quit: WeeChat 2.3]
aggelos_ has joined #ocaml
Haudegen has joined #ocaml
jao has joined #ocaml
FreeBirdLjj has quit [Read error: Connection timed out]
FreeBirdLjj has joined #ocaml
slamzy has quit [Remote host closed the connection]
jonh has joined #ocaml
mengu_ has joined #ocaml
mengu has quit [Ping timeout: 250 seconds]
<flux[m]> pretty nice, monadic and applicative bindings are to be proper ocaml at next release? https://github.com/ocaml/ocaml/pull/1947
<epimrphsm> nice
<epimrphsm> :)
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]
recj has joined #ocaml
chjk6x has quit [Ping timeout: 244 seconds]
jao has quit [Disconnected by services]
jao has joined #ocaml