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
noddy2OOO has joined #ocaml
rond_ has joined #ocaml
dmiles has quit [Ping timeout: 252 seconds]
logicmoo has joined #ocaml
awordnot12 has joined #ocaml
awordnot12 has quit [Remote host closed the connection]
rond_ has quit [Quit: Page closed]
dtornabene has quit [Remote host closed the connection]
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
tennix has quit [Ping timeout: 246 seconds]
zolk3ri has quit [Quit: leaving]
malina has quit [Ping timeout: 268 seconds]
mfp has quit [Ping timeout: 240 seconds]
tennix has joined #ocaml
iAmDecim has joined #ocaml
keep_learning_M has joined #ocaml
iAmDecim has quit [Ping timeout: 250 seconds]
iAmDecim has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
noddy2OOO has quit [Ping timeout: 245 seconds]
iAmDecim has quit [Ping timeout: 252 seconds]
iAmDecim has joined #ocaml
tormen has joined #ocaml
iAmDecim has quit [Ping timeout: 250 seconds]
tormen_ has quit [Ping timeout: 272 seconds]
ygrek__ has quit [Ping timeout: 260 seconds]
iAmDecim has joined #ocaml
iAmDecim has quit [Ping timeout: 250 seconds]
_whitelogger has joined #ocaml
iAmDecim has joined #ocaml
jao has quit [Ping timeout: 246 seconds]
gravicappa has joined #ocaml
iAmDecim has quit [Ping timeout: 260 seconds]
sophiag has joined #ocaml
tennix has quit [Ping timeout: 246 seconds]
ggole has joined #ocaml
tennix has joined #ocaml
iAmDecim has joined #ocaml
freyr69 has joined #ocaml
iAmDecim has quit [Ping timeout: 250 seconds]
iAmDecim has joined #ocaml
sophiag has left #ocaml ["ERC (IRC client for Emacs 26.1)"]
rand__ has joined #ocaml
nikivi has quit [Ping timeout: 260 seconds]
sagotch has joined #ocaml
nikivi has joined #ocaml
iAmDecim_ has joined #ocaml
orbifx2 has joined #ocaml
iAmDecim has quit [Ping timeout: 252 seconds]
gravicappa has quit [Remote host closed the connection]
gravicappa has joined #ocaml
orbifx2 has quit [Ping timeout: 268 seconds]
<Leonidas> SU2xU1: OCaml is not that hard to learn, but it depends more on you than on anything else
<Leonidas> if you're trying to do C in OCaml it will not be fun
<Leonidas> SU2xU1: if it is the employer I'm thinking of then learning OCaml in advance will not be particularly helpful for you
keep_learning_M has quit [Quit: This computer has gone to sleep]
iAmDecim_ has quit [Ping timeout: 252 seconds]
jave has quit [Ping timeout: 245 seconds]
rand__ has quit [Ping timeout: 250 seconds]
iAmDecim_ has joined #ocaml
iAmDecim_ has quit [Ping timeout: 252 seconds]
jave has joined #ocaml
carlosdagos has quit [Quit: Connection closed for inactivity]
asymptotically has joined #ocaml
Guest14665 has joined #ocaml
Guest14665 has quit [Remote host closed the connection]
iAmDecim_ has joined #ocaml
rotsix has joined #ocaml
iAmDecim_ has quit [Ping timeout: 250 seconds]
mfp has joined #ocaml
wilfredh has joined #ocaml
pierpal has joined #ocaml
malina has joined #ocaml
zolk3ri has joined #ocaml
rotsix has quit [Ping timeout: 268 seconds]
slamzy has joined #ocaml
sagotch has quit [Quit: Leaving.]
iAmDecim_ has joined #ocaml
iAmDecim_ has quit [Ping timeout: 250 seconds]
epicmorphism has joined #ocaml
iAmDecim_ has joined #ocaml
iAmDecim_ has quit [Ping timeout: 252 seconds]
sagotch has joined #ocaml
jao has joined #ocaml
noddy2OOO has joined #ocaml
jaar has joined #ocaml
spew has joined #ocaml
zolk3ri has quit [Quit: Lost terminal]
jao has quit [Ping timeout: 268 seconds]
Haudegen has joined #ocaml
tennix has quit [Ping timeout: 250 seconds]
iAmDecim_ has joined #ocaml
iAmDecim_ has quit [Ping timeout: 250 seconds]
viceroy19 has joined #ocaml
viceroy19 has quit [Remote host closed the connection]
mildtaste has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
freyr69 has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
tennix has joined #ocaml
jbrown has quit [Ping timeout: 252 seconds]
waleee has joined #ocaml
slamzy has quit [Remote host closed the connection]
sagotch has quit [Ping timeout: 260 seconds]
slamzy has joined #ocaml
sagotch has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
bartholin has joined #ocaml
noddy2OOO has quit [Ping timeout: 240 seconds]
tennix has quit [Ping timeout: 250 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 244 seconds]
tennix has joined #ocaml
<bartholin> Who need the rec keyword when you can have the Y combinator? ( ͡° ͜ʖ ͡°) https://pastebin.com/kXpqJqqC
iAmDecim_ has joined #ocaml
noddy2OOO has joined #ocaml
<lyxia> that's neat
iAmDecim_ has quit [Ping timeout: 264 seconds]
<jstolarek> def`: these compilation times yesterday were for native codegen
tennix has quit [Ping timeout: 252 seconds]
<def`> jstolarek: is your code public? it is a nice benchmark for optimizing menhir
<def`> (in my experience, menhir --table is slower than ocamlyacc that is slower than menhir with the code generation backend)
Haudegen has quit [Remote host closed the connection]
<theblatte> is there a known issue with compiling camlp4 in opam on travis? it consistently fail for me: https://travis-ci.org/jvillard/infer/jobs/458855539#L2251
<Armael> (you're speaking of runtime and not compilation time, right?)
<def`> (right)
<theblatte> +s
tennix has joined #ocaml
waleee has quit [Quit: WeeChat 2.3]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
FreeBirdLjj has joined #ocaml
recj has joined #ocaml
jbrown has joined #ocaml
recj has quit [Read error: Connection reset by peer]
<wilfredh> what does `as` mean inside a tuple? https://gist.github.com/Wilfred/e27c27ee02d1b72a9a75148d8ba3d080
<wilfredh> I'm surprised `f2` has type `'a * 'b * 'c` here
<wilfredh> *has return type
<Armael> oh, I guess "as" has lower priority than ","
<Armael> so (x, y as z) is parsed as ((x, y) as z)
webshinra_ has joined #ocaml
recj has joined #ocaml
webshinra has quit [Ping timeout: 252 seconds]
<wilfredh> wouldn't that still mean that z had type `int * int`?
jnavila has joined #ocaml
<Armael> your code fails on my computer
<Armael> Error: The constructor Foo expects 2 argument(s),
<Armael> but is applied here to 1 argument(s)
sagotch has quit [Quit: Leaving.]
<Armael> and if I do type foo = Foo of (int * int);;
<Armael> then f2 has type int * int * (int * int)
<Armael> as you would expect
<wilfredh> I'm on ocaml 4.05.0, FWIW
<Armael> does the snippet typecheck on your computer?
<wilfredh> merlin seems happy, at least
<Armael> merlin is probably lying :-)
malina has quit [Ping timeout: 240 seconds]
<wilfredh> oh, you're right! I'd broken my merlin setup.
<wilfredh> (x, y as z) is parsed as ((x, y) as z) <- aha, this explains it perfectly!
<wilfredh> I was wondering "surely y is the same as z, so this is pointless?" but I'd not realised about precedence
raduom has joined #ocaml
<Armael> yes I also was confused
erkin has quit [Quit: Ouch! Got SIGIRL, dying...]
erkin has joined #ocaml
rand__ has joined #ocaml
jbrown has quit [Ping timeout: 252 seconds]
jaar has quit [Quit: Leaving]
recj has quit [Ping timeout: 240 seconds]
jbrown has joined #ocaml
malina has joined #ocaml
kakadu has quit [Remote host closed the connection]
fraxamo has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
iAmDecim_ has joined #ocaml
iAmDecim_ has quit [Ping timeout: 264 seconds]
jnavila has joined #ocaml
Guest75104 has joined #ocaml
Algebr` has quit [Ping timeout: 268 seconds]
Algebr` has joined #ocaml
Guest75104 has quit [Remote host closed the connection]
Habib has joined #ocaml
noddy2OOO has quit [Quit: WeeChat 2.3]
kakadu has joined #ocaml
asymptotically2 has joined #ocaml
asymptotically has quit [Remote host closed the connection]
asymptotically2 is now known as asymptotically
slamzy has quit [Remote host closed the connection]
slamzy has joined #ocaml
ggole has quit [Quit: ggole]
malina has quit [Remote host closed the connection]
malina has joined #ocaml
asymptotically has quit [Quit: Leaving]
slamzy1234 has joined #ocaml
slamzy has quit [Ping timeout: 256 seconds]
kjak has quit [Quit: Lost terminal]
fraxamo has quit [Quit: Leaving]
kjak has joined #ocaml
Habib has quit [Ping timeout: 268 seconds]
rand__ has quit [Quit: leaving]
iAmDecim_ has joined #ocaml
slamzy1234 has quit [Quit: Leaving]
iAmDecim_ has quit [Ping timeout: 252 seconds]
bartholin has quit [Remote host closed the connection]
recj has joined #ocaml
asymptotically has joined #ocaml
malina has quit [Remote host closed the connection]
jnavila has quit [Remote host closed the connection]
pierpal has quit [Ping timeout: 244 seconds]
gravicappa has quit [Ping timeout: 250 seconds]
iAmDecim_ has joined #ocaml
iAmDecim_ has quit [Ping timeout: 252 seconds]
shw has joined #ocaml
iAmDecim_ has joined #ocaml
asymptotically has quit [Quit: Leaving]
recj has quit [Ping timeout: 268 seconds]
kakadu has quit [Remote host closed the connection]
zolk3ri has joined #ocaml