#ocaml on 2017-05-15 — irc logs at freenode.irclog.whitequark.org

2016-11-11 21:04 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:01 infinity0 has joined #ocaml

00:02 infinity0 has quit [Remote host closed the connection]

00:04 infinity0 has joined #ocaml

00:05 infinity0 has quit [Remote host closed the connection]

00:07 infinity0 has joined #ocaml

00:07 infinity0 has quit [Remote host closed the connection]

00:10 infinity0 has joined #ocaml

00:10 infinity0 has quit [Remote host closed the connection]

00:12 infinity0 has joined #ocaml

00:13 infinity0 has quit [Remote host closed the connection]

00:36 cbot_ has joined #ocaml

00:38 lobo has quit [Changing host]

00:38 lobo has joined #ocaml

00:39 ygrek_ has joined #ocaml

00:44 johnelse has quit [Ping timeout: 240 seconds]

00:45 johnelse has joined #ocaml

00:51 mfp has quit [Ping timeout: 240 seconds]

01:06 glib has joined #ocaml

01:06 glib has quit [Client Quit]

01:25 silver_ has quit [Read error: Connection reset by peer]

01:26 copy` has quit [Quit: Connection closed for inactivity]

01:42 jao has joined #ocaml

02:04 nullifidian_ is now known as nullifidian

02:28 jao has quit [Ping timeout: 272 seconds]

03:10 pierpa has quit [Quit: Page closed]

03:13 freusque has quit [Ping timeout: 272 seconds]

03:24 freusque has joined #ocaml

03:37 Guest2418 is now known as awal

03:50 nicoo has joined #ocaml

04:15 infinity0 has joined #ocaml

04:16 MercurialAlchemi has joined #ocaml

04:22 mengu has quit [Remote host closed the connection]

04:22 seangrove has joined #ocaml

04:30 _whitelogger has joined #ocaml

04:54 MercurialAlchemi has quit [Ping timeout: 240 seconds]

05:36 Simn has joined #ocaml

05:40 MercurialAlchemi has joined #ocaml

05:40 cbot_ has quit [Quit: Leaving]

05:55 seangrove has quit [Ping timeout: 246 seconds]

06:23 jlam_ has joined #ocaml

06:23 jlam is now known as Guest22100

06:23 jlam_ is now known as jlam

06:25 Guest22100 has quit [Ping timeout: 240 seconds]

06:31 alfredo has joined #ocaml

06:56 sz0 has joined #ocaml

07:02 AltGr has joined #ocaml

07:03 Simn has quit [Read error: Connection reset by peer]

07:05 Simn has joined #ocaml

07:10 johnelse has quit [Ping timeout: 260 seconds]

07:10 johnelse has joined #ocaml

07:39 freusque has quit [Quit: WeeChat 1.7]

07:43 freusque has joined #ocaml

07:55 rwmjones has joined #ocaml

08:38 zpe has joined #ocaml

08:39 igitoor has quit [Ping timeout: 255 seconds]

08:41 mfp has joined #ocaml

08:44 igitoor has joined #ocaml

08:45 igitoor has quit [Changing host]

08:45 igitoor has joined #ocaml

08:52 yaewa has joined #ocaml

08:53 moei has quit [Ping timeout: 240 seconds]

08:56 yaewa has quit [Read error: Connection reset by peer]

08:56 ed-ilyin-lv has quit [Quit: WeeChat 1.4]

08:57 moei has joined #ocaml

08:58 rossberg has joined #ocaml

09:09 <reynir> Hrm

09:10 kakadu has joined #ocaml

09:13 <reynir> I tried to use angstrom for the whisper format, but I get stack overflow on a test file :o It's likely I'm doing something wrong (first time I use angstrom)

09:15 <reynir> Oh, I see now

09:15 <reynir> For a field I'm getting 257698039200L instead of 1L \o/

09:24 <reynir> Oh whoops, int64 when it should've been int32

09:26 Simn has quit [Read error: Connection reset by peer]

09:26 <companion_cube> huuumm, is there a good reason the syntax doesn't allow `let f (x y:int) = …` ?

09:26 <def`_> companion_cube: c'est chiant à implementer =]

09:26 <companion_cube> oh, ok

09:27 <companion_cube> too bad ^^

09:27 <def`_> mais ouais tu peux faire une PR :)

09:27 <companion_cube> no thanks :p

09:27 <reynir> (not #ocaml-fr btw)

09:27 <kakadu> No, it's fine. Some motivation to study french

09:27 <def`_> sorry :)

09:28 <reynir> Heh

09:29 ed-ilyin-lv has joined #ocaml

09:29 <def`_> companion_cube: the problem is that the grammar for let_bindings expects 1) a labelled argument (special case) or 2) a generic pattern

09:30 <def`_> to allow a list, one would need a "pattern list" case which would require a bit of duplication (but I suspect the grammar could be reenginered that way without too much pain :P)

09:34 <companion_cube> I see

09:34 <companion_cube> but as usual, not really enough time :/

09:37 betux has joined #ocaml

09:40 mengu has joined #ocaml

09:44 mengu has quit [Ping timeout: 240 seconds]

09:47 dlat_ has quit [Ping timeout: 258 seconds]

09:47 dlat has joined #ocaml

09:47 <Drup> def`_: do you know if there is anything blocking the menhir rewrite, except lack of manpower ?

09:50 mengu has joined #ocaml

09:53 betux has quit [Remote host closed the connection]

09:53 betux has joined #ocaml

10:02 jnavila has joined #ocaml

10:06 betux has quit [Remote host closed the connection]

10:06 betux has joined #ocaml

10:08 <def`_> lack of man(gasche)power I guess

10:14 betux has quit [Ping timeout: 255 seconds]

10:14 igitoor has quit [Ping timeout: 255 seconds]

10:15 igitoor has joined #ocaml

10:22 igitoor has quit [Ping timeout: 260 seconds]

10:27 igitoor has joined #ocaml

10:27 sh0t has joined #ocaml

10:30 igitoor has quit [Changing host]

10:30 igitoor has joined #ocaml

10:38 TheLemonMan has joined #ocaml

10:38 FreeBirdLjj has joined #ocaml

10:43 FreeBirdLjj has quit [Ping timeout: 240 seconds]

10:56 sh0t has quit [Remote host closed the connection]

10:57 mengu has quit [Read error: Connection reset by peer]

10:58 ziyourenxiang has joined #ocaml

11:03 sz0 has quit [Quit: Connection closed for inactivity]

11:10 <companion_cube> but gasche is already a scarce resource

11:14 TheLemon1an has joined #ocaml

11:14 TheLemonMan has quit [Ping timeout: 272 seconds]

11:18 TheLemonMan has joined #ocaml

11:18 mengu has joined #ocaml

11:20 mengu has quit [Read error: Connection reset by peer]

11:21 TheLemon1an has quit [Ping timeout: 268 seconds]

11:22 mengu has joined #ocaml

11:38 betux has joined #ocaml

11:52 silver has joined #ocaml

11:54 mengu_ has joined #ocaml

11:57 mengu has quit [Ping timeout: 255 seconds]

11:57 TheLemon1an has joined #ocaml

11:59 TheLemonMan has quit [Disconnected by services]

12:00 TheLemon1an is now known as TheLemonMan

12:00 mengu has joined #ocaml

12:04 mengu_ has quit [Ping timeout: 268 seconds]

12:06 betux has quit [Ping timeout: 260 seconds]

12:07 _andre has joined #ocaml

12:13 dmi3y has joined #ocaml

12:29 jnavila has quit [Ping timeout: 240 seconds]

12:36 shinnya has joined #ocaml

12:51 dmi3y has quit [Quit: dmi3y]

12:56 jnavila has joined #ocaml

13:00 beginner has joined #ocaml

13:02 <beginner> Hi, i have a minimal js_of_ocaml example, which does not work as expected. Can someone point me to my mistake

13:02 <beginner> https://pastebin.com/LCEVYbfJ

13:09 betux has joined #ocaml

13:10 mengu_ has joined #ocaml

13:13 mengu has quit [Ping timeout: 268 seconds]

13:15 <def`_> and what happens?

13:19 sz0 has joined #ocaml

13:20 <beginner> def`_: i get undefined

13:25 betux has quit [Remote host closed the connection]

13:25 betux has joined #ocaml

13:30 spew has joined #ocaml

13:32 mengu has joined #ocaml

13:36 mengu_ has quit [Ping timeout: 245 seconds]

13:38 <mengu> beginner: i've never used js_of_ocaml, are you sure your namespace is exported somewhere

13:38 betux has quit [Remote host closed the connection]

13:39 betux has joined #ocaml

13:40 cbot has joined #ocaml

13:41 <orbifx[m]> can I get the system thread ID of an ocaml Thread.t ?

13:42 <beginner> mengu: i would assume the namespace is correct since i dont get an error at the call but with the result

13:43 <mengu> beginner: in the console when you inspect myMathLib

13:43 <mengu> what do you see

13:45 <beginner> i see the object

13:51 <mengu> beginner: what if you changed the var name from test to something else

13:52 al-damiri has joined #ocaml

13:52 betux has quit [Remote host closed the connection]

13:52 betux has joined #ocaml

13:56 <Leonidas> companion_cube: I would much rather wish for an inline signature syntax as Haskell

13:56 <Leonidas> type annotations on functions look horrible in ML

13:58 <Leonidas> let f (a : b) (c : d) (e :f) : g = …

13:59 <companion_cube> I'm getting used to it

13:59 <companion_cube> honestly it's not that bad

14:00 <flux> let f : b -> d -> f = fun a c e -> (* tadah *)

14:05 <orbifx[m]> I found a Core based solution: gettid

14:05 <orbifx[m]> https://ocaml.janestreet.com/ocaml-core/latest/doc/core/Std/Unix.mod/#/gettid.val

14:05 betux has quit [Remote host closed the connection]

14:05 <orbifx[m]> Any non Core? Based on Std, Batteries, .. ?

14:05 betux has joined #ocaml

14:08 <beginner> mengu: the problem appears to be something else, i recompile it with different input but nothing changes

14:08 <mengu> beginner: i even failed to compile lol

14:09 <beginner> mengu: do you have the right ppx stuff_

14:09 <beginner> ?

14:09 <Drup> beginner: please pastebin all the files independently

14:09 <mengu> beginner: lol, it's my fault, i was trying to run js_of_ocaml on .ml file

14:09 <mengu> now it compiled

14:09 <beginner> Drup: next time i will do that

14:10 MercurialAlchemi has quit [Ping timeout: 255 seconds]

14:12 <mengu> beginner: i take that <button> part is not actually in the .ml source right?

14:12 <mengu> is it?

14:12 <Drup> beginner: well, I can't solve the problem if you don't ... :/

14:12 <mengu> https://pastebin.com/LCEVYbfJ

14:13 <mengu> this just worked for me

14:13 <mengu> ocamlfind ocamlc -verbose -package js_of_ocaml -package js_of_ocaml.ppx -linkpkg ocaml_test.ml -o ocaml_test.byte && js_of_ocaml ocaml_test.byte

14:13 <companion_cube> orbifx[m]: Thread.id?

14:13 <mengu> i included ocaml_test.js

14:13 <mengu> and myMathLib.test is 2

14:13 silver has quit [Read error: Connection reset by peer]

14:15 <orbifx[m]> companion_cube: that is not the OS (Linux) ID for the thread. They are just increasing numbers

14:15 <beginner> mengu: sorry, no the button click part is the part in the html page where i call it. Sorry for the confusion

14:16 <beginner> Drup: sorry thought its just such a small snippet that I put it both into one file. I will do it properly next time

14:16 <orbifx[m]> companion_cube: I want to monitor my Threads from htop

14:17 <Drup> beginner: the problem is that 1) your pastebin is a mashup of ml and html 2) your bug is in the glue code.

14:17 <mengu> oh damn

14:17 <mengu> Drup is right

14:17 <companion_cube> orbifx[m]: oh. then no idea.

14:17 <Leonidas> orbifx[m]: ExtUnix maybe?

14:17 <mengu> beginner: dom works like tree, it parses from top to down

14:17 <mengu> if you want to be able to access myMathLib.test

14:18 <mengu> you have to include it before your access

14:18 <beginner> Drup: sorry for the first part

14:18 shinnya has quit [Ping timeout: 268 seconds]

14:18 <Leonidas> orbifx[m]: yep, Extunix has gettid

14:18 <orbifx[m]> Leonidas: checking..

14:18 <mengu> beginner: like, include your javascript before you close </head> tag

14:19 <beginner> i repasted the html file

14:19 <beginner> https://pastebin.com/KHBTYWnL

14:19 <orbifx[m]> Leonidas: excellent, will give it a spin :D

14:20 betux has quit [Remote host closed the connection]

14:21 <Drup> beginner: like mengu said, but your js scripts in the head

14:21 betux has joined #ocaml

14:23 <Drup> put*

14:23 zpe has quit [Remote host closed the connection]

14:25 ciniglio has quit [Ping timeout: 272 seconds]

14:27 <orbifx[m]> Leonidas: it'd be cool(-er) if there was Thread.id -> Int function

14:29 <beginner> Drup: my js script is in the body

14:29 <beginner> or do i misread it?

14:32 <Leonidas> I don't think many people use threads in ocaml :p

14:34 TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]

14:34 betux has quit [Remote host closed the connection]

14:34 betux has joined #ocaml

14:38 beginner has quit [Remote host closed the connection]

14:39 jlam_ has joined #ocaml

14:39 jlam is now known as Guest65719

14:39 jlam_ is now known as jlam

14:39 Guest65719 has quit [Killed (adams.freenode.net (Nickname regained by services))]

14:39 <companion_cube> I do, a bit

14:41 malc_ has joined #ocaml

14:47 betux has quit [Remote host closed the connection]

14:48 betux has joined #ocaml

14:57 ciniglio has joined #ocaml

14:58 spew has quit [Ping timeout: 240 seconds]

15:02 betux has quit [Remote host closed the connection]

15:02 <toolslive> we use plenty of threads from ocaml.

15:03 betux has joined #ocaml

15:08 jao has joined #ocaml

15:14 FreeBirdLjj has joined #ocaml

15:16 betux has quit [Remote host closed the connection]

15:16 betux has joined #ocaml

15:23 spew has joined #ocaml

15:23 alqatari has joined #ocaml

15:29 betux has quit [Remote host closed the connection]

15:29 betux has joined #ocaml

15:44 betux has quit [Remote host closed the connection]

15:44 betux has joined #ocaml

15:45 philtor has joined #ocaml

15:49 freusque has quit [Quit: WeeChat 1.7]

15:49 MercurialAlchemi has joined #ocaml

15:57 betux has quit [Remote host closed the connection]

15:57 betux has joined #ocaml

16:02 spew has quit [Ping timeout: 246 seconds]

16:09 ygrek_ has quit [Ping timeout: 268 seconds]

16:11 betux has quit [Remote host closed the connection]

16:11 betux has joined #ocaml

16:12 AlexRussia has quit [Ping timeout: 240 seconds]

16:12 <orbifx[m]> Leonidas: got a temporary solution using ExtUnix, thanks a lot! Wouldn't have found it

16:20 alfredo has quit [Quit: Textual IRC Client: www.textualapp.com]

16:24 spew has joined #ocaml

16:24 betux has quit [Remote host closed the connection]

16:24 betux has joined #ocaml

16:26 betux has quit [Client Quit]

16:27 CcxWrk has joined #ocaml

16:29 AlexRussia has joined #ocaml

16:29 cbot_ has joined #ocaml

16:31 cbot has quit [Ping timeout: 240 seconds]

16:38 yomimono has joined #ocaml

16:39 betux has joined #ocaml

16:40 betux has quit [Client Quit]

16:40 betux has joined #ocaml

16:47 spew has quit [Quit: foobar]

16:48 jao has quit [Ping timeout: 240 seconds]

16:56 betux has quit [Quit: betux]

16:56 betux has joined #ocaml

16:56 betux has quit [Client Quit]

16:59 betux has joined #ocaml

17:02 <Leonidas> hahaha, now with a web 2.0 conformant forum, ocaml can get its share of inane discussion

17:03 TheLemonMan has joined #ocaml

17:03 <Leonidas> https://discuss.ocaml.org/t/about-multicore/138/2

17:04 Simn has joined #ocaml

17:08 jnavila has quit [Ping timeout: 246 seconds]

17:12 betux has quit [Remote host closed the connection]

17:12 betux has joined #ocaml

17:27 betux has quit [Remote host closed the connection]

17:27 betux has joined #ocaml

17:29 jnavila has joined #ocaml

17:32 yomimono has quit [Ping timeout: 240 seconds]

17:35 jnavila has quit [Ping timeout: 240 seconds]

17:36 <companion_cube> …

17:37 jnavila has joined #ocaml

17:38 toolslive has quit [Ping timeout: 272 seconds]

17:38 FreeBirdLjj has quit [Remote host closed the connection]

17:38 FreeBirdLjj has joined #ocaml

17:38 FreeBirdLjj has quit [Remote host closed the connection]

17:39 <jnavila> Leonidas: please note that nobody cared to reply ;-)

17:41 <Drup> yet.

17:41 betux has quit [Remote host closed the connection]

17:42 betux has joined #ocaml

17:42 <Leonidas> jnavila: thought about posting gasche's blog post about the ocaml gc as response

17:42 <Leonidas> but then again, I'm too old for flamewars :p

17:42 toolslive has joined #ocaml

17:50 copy` has joined #ocaml

17:54 mengu has quit [Read error: Connection reset by peer]

17:54 betux has quit [Remote host closed the connection]

17:54 betux has joined #ocaml

17:56 jnavila has quit [Ping timeout: 246 seconds]

17:59 jao has joined #ocaml

18:00 mengu has joined #ocaml

18:09 maarhart has joined #ocaml

18:09 betux has quit [Remote host closed the connection]

18:10 betux has joined #ocaml

18:15 maarhart has quit [Remote host closed the connection]

18:22 betux has quit [Remote host closed the connection]

18:23 betux has joined #ocaml

18:31 larhat has joined #ocaml

18:33 johnelse has quit [Ping timeout: 260 seconds]

18:33 johnelse has joined #ocaml

18:35 zv has quit [Ping timeout: 240 seconds]

18:36 betux has quit [Remote host closed the connection]

18:36 betux has joined #ocaml

18:47 johnelse has quit [Ping timeout: 240 seconds]

18:48 johnelse has joined #ocaml

18:49 betux has quit [Remote host closed the connection]

18:49 betux has joined #ocaml

18:50 larhat has quit [Quit: Leaving.]

19:04 betux has quit [Remote host closed the connection]

19:04 yomimono has joined #ocaml

19:04 betux has joined #ocaml

19:05 AlexRussia has quit [Ping timeout: 240 seconds]

19:05 malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]

19:07 larhat has joined #ocaml

19:12 johnelse has quit [Ping timeout: 240 seconds]

19:15 mengu has quit [Remote host closed the connection]

19:15 mengu has joined #ocaml

19:18 betux has quit [Remote host closed the connection]

19:18 betux has joined #ocaml

19:19 AlexRussia has joined #ocaml

19:19 mengu has quit [Ping timeout: 240 seconds]

19:22 MercurialAlchemi has quit [Ping timeout: 268 seconds]

19:24 johnelse has joined #ocaml

19:31 betux has quit [Remote host closed the connection]

19:31 betux has joined #ocaml

19:41 kakadu_ has joined #ocaml

19:41 mengu has joined #ocaml

19:43 johnelse has quit [Ping timeout: 255 seconds]

19:45 betux has quit [Ping timeout: 240 seconds]

19:47 johnelse has joined #ocaml

19:55 jnavila has joined #ocaml

19:58 pierpa has joined #ocaml

20:28 Simn has quit [Read error: Connection reset by peer]

20:40 _andre has quit [Quit: leaving]

20:44 johnelse has quit [Ping timeout: 240 seconds]

20:46 johnelse has joined #ocaml

20:51 ollehar has joined #ocaml

20:52 TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]

20:54 johnelse has quit [Ping timeout: 246 seconds]

20:55 AltGr has left #ocaml [#ocaml]

20:56 inr_ is now known as inr

20:58 johnelse has joined #ocaml

21:00 jabesed has joined #ocaml

21:03 johnelse has quit [Ping timeout: 260 seconds]

21:03 johnelse has joined #ocaml

21:10 jnavila has quit [Ping timeout: 240 seconds]

21:12 cbot has joined #ocaml

21:13 cbot_ has quit [Ping timeout: 240 seconds]

21:15 johnelse has quit [Ping timeout: 240 seconds]

21:15 larhat has quit [Quit: Leaving.]

21:16 johnelse has joined #ocaml

21:16 alqatari has quit [Ping timeout: 260 seconds]

21:17 mengu has quit [Quit: Leaving...]

21:19 mengu has joined #ocaml

21:22 johnelse has quit [Ping timeout: 240 seconds]

21:22 johnelse has joined #ocaml

21:29 ygrek_ has joined #ocaml

21:31 jabesed has quit [Quit: Konversation terminated!]

21:31 jabesed has joined #ocaml

21:34 zv has joined #ocaml

21:41 johnelse has quit [Ping timeout: 268 seconds]

21:42 johnelse has joined #ocaml

21:46 johnelse has quit [Ping timeout: 246 seconds]

21:49 jabesed has quit [Ping timeout: 240 seconds]

21:57 johnelse has joined #ocaml

22:00 johnelse has quit [Read error: No route to host]

22:01 ollehar has quit [Remote host closed the connection]

22:05 Guest14435 has joined #ocaml

22:07 hup has joined #ocaml

22:08 <hup> Hello folks

22:08 <mengu> hi hup

22:08 <hup> Are there any ocaml/coq jobs out there?

22:09 <hup> Looking to earn some money ...

22:10 <hup> But, stuck working with boring languages... Any advice? Who uses these very fine languages?

22:11 moei has quit [Quit: Leaving...]

22:11 troydm has quit [Ping timeout: 260 seconds]

22:13 <nore> hup: you can look at https://en.wikipedia.org/wiki/OCaml#Commercial_users if you want do to something with OCaml in the industry

22:13 troydm has joined #ocaml

22:14 <hup> Tanks for linking that linst. Unfortunately its quite short... :-/

22:16 <pierpa> but some of the companies mentioned are quite big

22:17 <Drup> nore: you should link the actual list: http://ocaml.org/learn/companies.html

22:17 <nore> also, I think OCaml is more used for research (especially in France) than it is in the industry

22:17 <nore> Drup: didn't know that existed, thanks!

22:18 <hup> Drup, yeak I followed the link in the wini article. Thanks anyway

22:18 <Drup> nore: well, it's cited right in that wikipedia section

22:18 <hup> pierpa: True, but most of them lack presense where I'm from

22:20 kakadu_ has quit [Remote host closed the connection]

22:20 <nore> Drup: I should have read a bit more before posting the link then ><

22:21 <hup> Are you guys using caml in academia, or using it only for hobby kind of stuff? Or are you actually usingin it in an industry job?

22:24 <mengu> i actually want to use it for a side project

22:24 <mengu> a real time *.log analytics tool

22:27 <hup> Ah, so you are in the planning/prototyping stages of you project. Maybe the best stage :-)

22:27 <mengu> indeed

22:27 <hup> Anyways, thanks for for your input fellows.. bye

22:28 hup has left #ocaml [#ocaml]

22:32 cbot_ has joined #ocaml

22:32 cbot has quit [Ping timeout: 260 seconds]

22:38 Guest14435 has quit [Ping timeout: 268 seconds]

22:38 johnelse has joined #ocaml

22:43 yomimono has quit [Ping timeout: 268 seconds]

22:51 johnelse has quit [Read error: No route to host]

22:56 johnelse has joined #ocaml

22:58 sz0 has quit [Quit: Connection closed for inactivity]

23:04 yomimono has joined #ocaml

23:08 johnelse has quit [Ping timeout: 268 seconds]

23:14 johnelse has joined #ocaml

23:17 zv has quit [Ping timeout: 240 seconds]

23:23 johnelse has quit [Ping timeout: 268 seconds]

23:32 zv has joined #ocaml

23:35 shinnya has joined #ocaml

23:44 johnelse has joined #ocaml

23:57 alqatari has joined #ocaml

23:59 infinity0_ has joined #ocaml

23:59 infinity0 has quit [Ping timeout: 268 seconds]

23:59 infinity0_ has quit [Changing host]

23:59 infinity0 has joined #ocaml