00:13
pmetzger has quit [Remote host closed the connection]
00:38
silver_ has joined #ocaml
00:41
silver has quit [Ping timeout: 260 seconds]
01:00
nkhodyunya has joined #ocaml
01:16
mk9 has joined #ocaml
01:31
mk9 has quit [Remote host closed the connection]
01:32
mk9 has joined #ocaml
01:37
mk9 has quit [Client Quit]
01:37
mk9 has joined #ocaml
01:38
silver_ has quit [Read error: Connection reset by peer]
01:48
gtrak has joined #ocaml
01:51
Haudegen has quit [Ping timeout: 276 seconds]
02:11
ziyourenxiang has quit [Ping timeout: 240 seconds]
02:20
tormen has joined #ocaml
02:23
tormen_ has quit [Ping timeout: 264 seconds]
02:24
tarptaeya has quit [Quit: Konversation terminated!]
02:25
gtrak has quit [Ping timeout: 240 seconds]
02:26
FreeBirdLjj has joined #ocaml
02:26
mk9 has quit [Quit: mk9]
02:33
kleimkuhler has quit [Quit: kleimkuhler]
02:38
FreeBirdLjj has quit [Ping timeout: 248 seconds]
02:44
mfp_ has quit [Ping timeout: 260 seconds]
02:49
Soni has quit [Ping timeout: 240 seconds]
03:01
caltelt_ has joined #ocaml
03:24
kleimkuhler has joined #ocaml
03:28
keep_learning has joined #ocaml
03:29
Bronsa` has quit [Ping timeout: 256 seconds]
03:38
shinnya has quit [Ping timeout: 256 seconds]
03:40
caltelt_ has quit [Ping timeout: 260 seconds]
03:48
caltelt_ has joined #ocaml
04:04
mk9 has joined #ocaml
04:06
mk9 has quit [Client Quit]
04:08
cslqj has joined #ocaml
04:08
cslqj has quit [Client Quit]
04:14
mk9 has joined #ocaml
04:19
mk9 has quit [Client Quit]
04:19
mk9 has joined #ocaml
04:19
FreeBirdLjj has joined #ocaml
04:29
pierpal has quit [Read error: Connection reset by peer]
04:30
pyx has joined #ocaml
04:30
pyx has quit [Client Quit]
04:32
pierpal has joined #ocaml
04:34
mk9 has quit [Quit: mk9]
04:36
mk9 has joined #ocaml
04:36
mk9 has quit [Client Quit]
04:37
mk9 has joined #ocaml
04:37
mk9 has quit [Client Quit]
04:37
mk9 has joined #ocaml
04:37
mk9 has quit [Remote host closed the connection]
04:38
mk9 has joined #ocaml
04:38
mk9 has quit [Client Quit]
04:38
mk9 has joined #ocaml
04:39
mk9 has quit [Client Quit]
04:39
mk9 has joined #ocaml
04:40
mk9 has quit [Client Quit]
04:44
pierpal has quit [Read error: Connection reset by peer]
04:45
pierpal has joined #ocaml
04:54
pierpal has quit [Read error: Connection reset by peer]
04:55
pierpal has joined #ocaml
05:06
pierpal has quit [Read error: Connection reset by peer]
05:06
pierpal has joined #ocaml
05:08
pierpal has quit [Read error: Connection reset by peer]
05:08
pierpal has joined #ocaml
05:10
pierpal has quit [Read error: Connection reset by peer]
05:18
shw has joined #ocaml
05:32
shw has quit [Quit: shw]
05:33
shw has joined #ocaml
05:40
shw has quit [Quit: shw]
05:40
shw has joined #ocaml
05:46
nolanv has joined #ocaml
05:49
tane has joined #ocaml
05:59
pierpal has joined #ocaml
06:00
ziyourenxiang has joined #ocaml
06:28
pierpal has quit [Remote host closed the connection]
06:35
shinnya has joined #ocaml
06:49
kleimkuhler has quit [Quit: kleimkuhler]
06:55
on_ion has quit [Read error: Connection reset by peer]
07:03
on_ion has joined #ocaml
07:17
tarptaeya has joined #ocaml
07:30
pierpal has joined #ocaml
07:40
tane has quit [Quit: Leaving]
08:00
jimmyrcom_ has quit [Ping timeout: 264 seconds]
08:02
pierpal has quit [Ping timeout: 240 seconds]
08:02
mk9 has joined #ocaml
08:06
pierpal has joined #ocaml
08:07
mk9 has quit [Quit: mk9]
08:07
mk9 has joined #ocaml
08:18
pierpal has quit [Ping timeout: 240 seconds]
08:20
argent_smith has joined #ocaml
08:26
mk9 has quit [Quit: mk9]
08:26
mk9 has joined #ocaml
08:52
mfp_ has joined #ocaml
09:06
zolk3ri has joined #ocaml
09:43
pierpal has joined #ocaml
09:47
pierpal has quit [Ping timeout: 276 seconds]
09:57
mk9 has quit [Quit: mk9]
09:59
muelleme has joined #ocaml
10:18
muelleme has quit [Ping timeout: 255 seconds]
11:07
Haudegen has joined #ocaml
11:09
Exagone313 has quit [Quit: see ya!]
11:13
Exagone313 has joined #ocaml
11:32
govg has joined #ocaml
11:55
pierpal has joined #ocaml
11:59
pierpal has quit [Ping timeout: 256 seconds]
12:09
FreeBirdLjj has quit [Remote host closed the connection]
12:19
malina has joined #ocaml
12:42
FreeBirdLjj has joined #ocaml
12:55
mk9 has joined #ocaml
12:58
FreeBirdLjj has quit [Remote host closed the connection]
12:59
FreeBirdLjj has joined #ocaml
13:05
FreeBird_ has joined #ocaml
13:06
FreeBirdLjj has quit [Ping timeout: 268 seconds]
13:14
pierpal has joined #ocaml
13:16
sh0t has joined #ocaml
13:28
Soni has joined #ocaml
13:32
gtrak has joined #ocaml
13:57
pierpal has quit [Ping timeout: 256 seconds]
14:05
jnavila has joined #ocaml
14:06
letoh has quit [Ping timeout: 256 seconds]
14:07
tane has joined #ocaml
14:14
GreyFaceNoSpace has joined #ocaml
14:18
letoh has joined #ocaml
14:35
<
discord1 >
<Perry> rom1504: That was pretty rude.
14:38
<
Armael >
I think companion_cube and Drub both know this api a bit
14:46
spew has joined #ocaml
14:46
<
Drup >
I never used the stringly API, only the one that directly build objects
14:47
<
Drup >
I think using the stinrgly API is a mistake, but I guess you don't have a choice
14:47
pierpal has joined #ocaml
15:04
<
sh0t >
Drup, sorry are you referring to me?
15:07
<
sh0t >
oh anyway there is a problem in that string! haha
15:09
GreyFaceNoSpace has quit [Quit: Ex-Chat]
15:09
GreyFaceNoSpace has joined #ocaml
15:10
pierpal has quit [Read error: Connection reset by peer]
15:10
pierpal has joined #ocaml
15:20
GreyFaceNoSpace has quit [Quit: Ex-Chat]
15:20
GreyFaceNoSpace_ has joined #ocaml
15:30
pierpal has quit [Read error: Connection reset by peer]
15:36
pierpal has joined #ocaml
15:51
<
companion_cube >
sh0t: I use the OCaml API directly, it's much more convenient than strings (except when, well, you need recfuns :/)
15:54
argent_smith has quit [Quit: Leaving.]
16:02
shinnya has quit [Ping timeout: 268 seconds]
16:05
<
sh0t >
yep companion_cube that's the only reason i am using it
16:06
<
sh0t >
but i understand the problem was in the string which is not in the smt grammar now i see the problem
16:06
<
sh0t >
thanks guys!
16:06
<
companion_cube >
it'd be really good to add the recfuns to the OCaml PAI…
16:06
<
companion_cube >
API
16:06
kakadu has joined #ocaml
16:07
<
sh0t >
maybe i should ask on the github repo...
16:08
<
companion_cube >
you can certainly open an issue
16:08
<
companion_cube >
not sure if they're going to do it soon
16:09
arno has joined #ocaml
16:09
arno has quit [Client Quit]
16:09
GreyFaceNoSpace_ has quit [Quit: Ex-Chat]
16:09
GreyFaceNoSpace_ has joined #ocaml
16:19
GreyFaceNoSpace_ has quit [Ping timeout: 248 seconds]
16:27
rwmjones|holiday is now known as rwmjones
16:36
ziyourenxiang has quit [Ping timeout: 240 seconds]
16:37
GreyFaceNoSpace_ has joined #ocaml
16:39
spew has quit [Ping timeout: 248 seconds]
16:40
jimmyrcom_ has joined #ocaml
16:58
kleimkuhler has joined #ocaml
17:11
pierpal has quit [Quit: Poof]
17:11
pierpal has joined #ocaml
17:23
ctrlsbstr has joined #ocaml
17:30
pierpal has quit [Ping timeout: 260 seconds]
17:33
Haudegen has quit [Ping timeout: 248 seconds]
17:47
jnavila has quit [Ping timeout: 240 seconds]
17:48
exarkun has quit [Read error: Connection reset by peer]
17:50
GreyFaceNoSpace_ has quit [Ping timeout: 248 seconds]
17:57
exarkun has joined #ocaml
17:58
megeve has joined #ocaml
17:59
FreeBird_ has quit [Remote host closed the connection]
17:59
FreeBirdLjj has joined #ocaml
18:01
sh0t has quit [Ping timeout: 260 seconds]
18:04
FreeBirdLjj has quit [Ping timeout: 265 seconds]
18:15
<
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?
18:27
_whitelogger has joined #ocaml
18:27
wagle has joined #ocaml
18:28
fredcy_ is now known as fredcy
18:28
RalfJ has joined #ocaml
18:32
caltelt_ has quit [Ping timeout: 248 seconds]
18:35
<
kit_ty_kate >
megeve: janestreet, facebook, href, bloomberg, lexify, …
18:40
mcspud has joined #ocaml
18:41
loxs[m] has joined #ocaml
18:42
yetanotherion[m] has joined #ocaml
18:42
pmetzger[m] has joined #ocaml
18:43
Haudegen[m] has joined #ocaml
18:43
Haudegen[m] has quit [*.net *.split]
18:43
Soni has quit [*.net *.split]
18:43
olopierpa[m] has quit [*.net *.split]
18:43
troydm has quit [*.net *.split]
18:44
Bozghurt[m] has quit [*.net *.split]
18:44
isaachodes[m] has quit [*.net *.split]
18:44
remix2000[m] has quit [*.net *.split]
18:44
TC01 has quit [*.net *.split]
18:44
tilpner has quit [*.net *.split]
18:44
j0sh has quit [*.net *.split]
18:44
bacam has quit [*.net *.split]
18:44
clockish has quit [*.net *.split]
18:44
clockish has joined #ocaml
18:44
TC01 has joined #ocaml
18:44
troydm has joined #ocaml
18:44
bacam has joined #ocaml
18:44
kleimkuhler has quit [Quit: kleimkuhler]
18:45
tilpner has joined #ocaml
18:46
Soni has joined #ocaml
18:47
Guest46527 has joined #ocaml
18:48
talyian[m] has joined #ocaml
18:48
Bozghurt[m] has joined #ocaml
18:51
isaachodes[m] has joined #ocaml
18:51
remix2000[m] has joined #ocaml
18:52
sh0t has joined #ocaml
18:53
olopierpa[m] has joined #ocaml
18:53
Haudegen[m] has joined #ocaml
18:55
muelleme has joined #ocaml
19:01
argent_smith has joined #ocaml
19:14
malina has quit [Quit: Throwing apples of Montserrat]
19:26
nicoo has quit [*.net *.split]
19:28
nicoo has joined #ocaml
19:28
exarkun has quit [Read error: Connection reset by peer]
19:29
pierpal has joined #ocaml
19:32
muelleme has quit [Ping timeout: 245 seconds]
19:33
jnavila has joined #ocaml
19:34
tarptaeya has quit [Quit: Konversation terminated!]
19:37
exarkun has joined #ocaml
19:45
kleimkuhler has joined #ocaml
19:51
jack5638 has quit [Ping timeout: 256 seconds]
19:51
ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
19:56
kleimkuhler has quit [Quit: kleimkuhler]
19:57
jack5638 has joined #ocaml
20:02
gtrak has quit [Ping timeout: 260 seconds]
20:04
gtrak has joined #ocaml
20:26
kleimkuhler has joined #ocaml
20:30
kleimkuhler has quit [Client Quit]
20:31
nahra has joined #ocaml
20:33
kleimkuhler has joined #ocaml
20:43
jnavila has quit [Ping timeout: 245 seconds]
20:45
GreyFaceNoSpace_ has joined #ocaml
20:49
kleimkuhler has quit [Quit: kleimkuhler]
20:49
GreyFaceNoSpace_ has quit [Client Quit]
20:53
malina has joined #ocaml
20:57
kleimkuhler has joined #ocaml
21:05
loli has quit [Ping timeout: 256 seconds]
21:07
loli has joined #ocaml
21:09
Soni has quit [Read error: Connection reset by peer]
21:14
kleimkuhler has quit [Quit: kleimkuhler]
21:17
nicoo has quit [Ping timeout: 250 seconds]
21:19
nicoo has joined #ocaml
21:19
silver has joined #ocaml
21:29
<
discord1 >
<Perry> A ton of academic projects too, of course.
21:32
gtrak has quit [Ping timeout: 245 seconds]
21:33
argent_smith1 has joined #ocaml
21:34
argent_smith has quit [Ping timeout: 245 seconds]
21:34
gtrak has joined #ocaml
21:35
Haudegen has joined #ocaml
21:40
ziyourenxiang has joined #ocaml
21:46
ziyourenxiang has quit [Ping timeout: 240 seconds]
21:53
malina has quit [Ping timeout: 240 seconds]
21:56
argent_smith1 has quit [Quit: Leaving.]
22:02
kakadu has quit [Remote host closed the connection]
22:10
malina has joined #ocaml
22:18
tane has quit [Quit: Leaving]
22:32
kleimkuhler has joined #ocaml
22:40
sz0 has joined #ocaml
22:42
mk9 has quit [Quit: mk9]
22:52
shinnya has joined #ocaml
22:53
Soni has joined #ocaml
23:47
kleimkuhler has quit [Quit: kleimkuhler]
23:47
kleimkuhler has joined #ocaml