adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
pmetzger has quit [Remote host closed the connection]
silver_ has joined #ocaml
silver has quit [Ping timeout: 260 seconds]
nkhodyunya has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Remote host closed the connection]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
silver_ has quit [Read error: Connection reset by peer]
gtrak has joined #ocaml
Haudegen has quit [Ping timeout: 276 seconds]
ziyourenxiang has quit [Ping timeout: 240 seconds]
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 264 seconds]
tarptaeya has quit [Quit: Konversation terminated!]
gtrak has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
mk9 has quit [Quit: mk9]
kleimkuhler has quit [Quit: kleimkuhler]
FreeBirdLjj has quit [Ping timeout: 248 seconds]
mfp_ has quit [Ping timeout: 260 seconds]
Soni has quit [Ping timeout: 240 seconds]
caltelt_ has joined #ocaml
kleimkuhler has joined #ocaml
keep_learning has joined #ocaml
Bronsa` has quit [Ping timeout: 256 seconds]
shinnya has quit [Ping timeout: 256 seconds]
caltelt_ has quit [Ping timeout: 260 seconds]
caltelt_ has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Client Quit]
cslqj has joined #ocaml
cslqj has quit [Client Quit]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
FreeBirdLjj has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pyx has joined #ocaml
pyx has quit [Client Quit]
pierpal has joined #ocaml
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
mk9 has quit [Remote host closed the connection]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
shw has joined #ocaml
shw has quit [Quit: shw]
shw has joined #ocaml
shw has quit [Quit: shw]
shw has joined #ocaml
nolanv has joined #ocaml
tane has joined #ocaml
pierpal has joined #ocaml
ziyourenxiang has joined #ocaml
pierpal has quit [Remote host closed the connection]
shinnya has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
on_ion has quit [Read error: Connection reset by peer]
on_ion has joined #ocaml
tarptaeya has joined #ocaml
pierpal has joined #ocaml
tane has quit [Quit: Leaving]
jimmyrcom_ has quit [Ping timeout: 264 seconds]
pierpal has quit [Ping timeout: 240 seconds]
mk9 has joined #ocaml
pierpal has joined #ocaml
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
pierpal has quit [Ping timeout: 240 seconds]
argent_smith has joined #ocaml
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
mfp_ has joined #ocaml
zolk3ri has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 276 seconds]
mk9 has quit [Quit: mk9]
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 255 seconds]
Haudegen has joined #ocaml
Exagone313 has quit [Quit: see ya!]
Exagone313 has joined #ocaml
govg has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 256 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
malina has joined #ocaml
FreeBirdLjj has joined #ocaml
mk9 has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
pierpal has joined #ocaml
sh0t has joined #ocaml
Soni has joined #ocaml
gtrak has joined #ocaml
pierpal has quit [Ping timeout: 256 seconds]
jnavila has joined #ocaml
letoh has quit [Ping timeout: 256 seconds]
<sh0t> can anyone help me with this other question https://stackoverflow.com/questions/50420525/z3-ocaml-api-parsing-smt2 about ml api of z3 ?
tane has joined #ocaml
GreyFaceNoSpace has joined #ocaml
letoh has joined #ocaml
<rom1504> no
<discord1> <Perry> rom1504: That was pretty rude.
<Armael> wtf :D
<Armael> I think companion_cube and Drub both know this api a bit
spew has joined #ocaml
<Drup> I never used the stringly API, only the one that directly build objects
<Drup> I think using the stinrgly API is a mistake, but I guess you don't have a choice
pierpal has joined #ocaml
<sh0t> Drup, sorry are you referring to me?
<sh0t> oh anyway there is a problem in that string! haha
GreyFaceNoSpace has quit [Quit: Ex-Chat]
GreyFaceNoSpace has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
GreyFaceNoSpace has quit [Quit: Ex-Chat]
GreyFaceNoSpace_ has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
<companion_cube> sh0t: I use the OCaml API directly, it's much more convenient than strings (except when, well, you need recfuns :/)
argent_smith has quit [Quit: Leaving.]
shinnya has quit [Ping timeout: 268 seconds]
<sh0t> yep companion_cube that's the only reason i am using it
<sh0t> but i understand the problem was in the string which is not in the smt grammar now i see the problem
<sh0t> thanks guys!
<companion_cube> it'd be really good to add the recfuns to the OCaml PAI…
<companion_cube> API
kakadu has joined #ocaml
<sh0t> maybe i should ask on the github repo...
<sh0t> to add it
<companion_cube> you can certainly open an issue
<companion_cube> not sure if they're going to do it soon
arno has joined #ocaml
arno has quit [Client Quit]
GreyFaceNoSpace_ has quit [Quit: Ex-Chat]
GreyFaceNoSpace_ has joined #ocaml
<sh0t> ok!
GreyFaceNoSpace_ has quit [Ping timeout: 248 seconds]
rwmjones|holiday is now known as rwmjones
ziyourenxiang has quit [Ping timeout: 240 seconds]
GreyFaceNoSpace_ has joined #ocaml
spew has quit [Ping timeout: 248 seconds]
jimmyrcom_ has joined #ocaml
kleimkuhler has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
ctrlsbstr has joined #ocaml
pierpal has quit [Ping timeout: 260 seconds]
Haudegen has quit [Ping timeout: 248 seconds]
jnavila has quit [Ping timeout: 240 seconds]
exarkun has quit [Read error: Connection reset by peer]
GreyFaceNoSpace_ has quit [Ping timeout: 248 seconds]
exarkun has joined #ocaml
megeve has joined #ocaml
FreeBird_ has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
sh0t has quit [Ping timeout: 260 seconds]
FreeBirdLjj has quit [Ping timeout: 265 seconds]
<megeve> Scala has become a language mainly practiced at big data companies. Is the same true for OCaml? What categories of companies use OCaml in production?
_whitelogger has joined #ocaml
wagle has joined #ocaml
fredcy_ is now known as fredcy
RalfJ has joined #ocaml
caltelt_ has quit [Ping timeout: 248 seconds]
<kit_ty_kate> megeve: janestreet, facebook, href, bloomberg, lexify, …
mcspud has joined #ocaml
loxs[m] has joined #ocaml
yetanotherion[m] has joined #ocaml
pmetzger[m] has joined #ocaml
Haudegen[m] has joined #ocaml
Haudegen[m] has quit [*.net *.split]
Soni has quit [*.net *.split]
olopierpa[m] has quit [*.net *.split]
troydm has quit [*.net *.split]
Bozghurt[m] has quit [*.net *.split]
isaachodes[m] has quit [*.net *.split]
remix2000[m] has quit [*.net *.split]
TC01 has quit [*.net *.split]
tilpner has quit [*.net *.split]
j0sh has quit [*.net *.split]
bacam has quit [*.net *.split]
clockish has quit [*.net *.split]
clockish has joined #ocaml
TC01 has joined #ocaml
troydm has joined #ocaml
bacam has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
tilpner has joined #ocaml
Soni has joined #ocaml
Guest46527 has joined #ocaml
talyian[m] has joined #ocaml
Bozghurt[m] has joined #ocaml
isaachodes[m] has joined #ocaml
remix2000[m] has joined #ocaml
sh0t has joined #ocaml
olopierpa[m] has joined #ocaml
Haudegen[m] has joined #ocaml
muelleme has joined #ocaml
argent_smith has joined #ocaml
malina has quit [Quit: Throwing apples of Montserrat]
nicoo has quit [*.net *.split]
nicoo has joined #ocaml
exarkun has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
muelleme has quit [Ping timeout: 245 seconds]
jnavila has joined #ocaml
tarptaeya has quit [Quit: Konversation terminated!]
exarkun has joined #ocaml
kleimkuhler has joined #ocaml
jack5638 has quit [Ping timeout: 256 seconds]
ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kleimkuhler has quit [Quit: kleimkuhler]
jack5638 has joined #ocaml
gtrak has quit [Ping timeout: 260 seconds]
gtrak has joined #ocaml
kleimkuhler has joined #ocaml
kleimkuhler has quit [Client Quit]
nahra has joined #ocaml
kleimkuhler has joined #ocaml
jnavila has quit [Ping timeout: 245 seconds]
GreyFaceNoSpace_ has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
GreyFaceNoSpace_ has quit [Client Quit]
malina has joined #ocaml
kleimkuhler has joined #ocaml
loli has quit [Ping timeout: 256 seconds]
loli has joined #ocaml
Soni has quit [Read error: Connection reset by peer]
kleimkuhler has quit [Quit: kleimkuhler]
nicoo has quit [Ping timeout: 250 seconds]
nicoo has joined #ocaml
silver has joined #ocaml
<discord1> <Perry> A ton of academic projects too, of course.
gtrak has quit [Ping timeout: 245 seconds]
argent_smith1 has joined #ocaml
argent_smith has quit [Ping timeout: 245 seconds]
gtrak has joined #ocaml
Haudegen has joined #ocaml
ziyourenxiang has joined #ocaml
ziyourenxiang has quit [Ping timeout: 240 seconds]
malina has quit [Ping timeout: 240 seconds]
argent_smith1 has quit [Quit: Leaving.]
kakadu has quit [Remote host closed the connection]
malina has joined #ocaml
tane has quit [Quit: Leaving]
kleimkuhler has joined #ocaml
sz0 has joined #ocaml
mk9 has quit [Quit: mk9]
shinnya has joined #ocaml
Soni has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
kleimkuhler has joined #ocaml