#ocaml on 2018-04-06 — irc logs at freenode.irclog.whitequark.org

2017-11-24 19:05 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

00:02 Madars has joined #ocaml

00:02 gtrak_1 has quit [Ping timeout: 245 seconds]

00:06 mikeyhc_ has quit [Ping timeout: 255 seconds]

00:10 isd has quit [Quit: Leaving.]

00:11 sh0t has joined #ocaml

00:17 infinity0_ has joined #ocaml

00:17 infinity0_ has quit [Changing host]

00:17 infinity0 has quit [Killed (kornbluth.freenode.net (Nickname regained by services))]

00:17 infinity0 has joined #ocaml

00:20 pierpa_ has quit [Ping timeout: 260 seconds]

00:22 FreeBirdLjj has joined #ocaml

00:25 Onemorenickname has quit [Read error: Connection reset by peer]

00:25 Madars has quit [Ping timeout: 265 seconds]

00:28 mikeyhc has joined #ocaml

00:44 mfp has quit [Ping timeout: 260 seconds]

00:49 Haudegen has quit [Remote host closed the connection]

01:16 FreeBirdLjj has quit [Ping timeout: 264 seconds]

01:18 pierpa has joined #ocaml

01:22 ziyourenxiang has quit [Quit: Leaving]

01:22 hdon has quit [Ping timeout: 264 seconds]

01:23 sh0t has quit [Remote host closed the connection]

01:25 Madars has joined #ocaml

01:37 zv has quit [Ping timeout: 276 seconds]

01:41 shinnya has quit [Ping timeout: 260 seconds]

01:49 Madars has quit [Ping timeout: 260 seconds]

01:54 zv has joined #ocaml

02:08 Haudegen has joined #ocaml

02:15 FreeBirdLjj has joined #ocaml

02:24 ziyourenxiang has joined #ocaml

02:36 Madars has joined #ocaml

02:37 tormen has joined #ocaml

02:39 FreeBirdLjj has quit [Ping timeout: 260 seconds]

02:41 tormen_ has quit [Ping timeout: 265 seconds]

02:42 wagle has quit [Remote host closed the connection]

02:43 wagle has joined #ocaml

02:44 wagle has quit [Remote host closed the connection]

02:44 wagle has joined #ocaml

02:57 Madars has quit [Ping timeout: 260 seconds]

03:07 demonimin has quit [Ping timeout: 240 seconds]

03:51 zv has quit [Ping timeout: 260 seconds]

03:57 govg has quit [Ping timeout: 256 seconds]

04:00 Madars has joined #ocaml

04:01 FreeBirdLjj has joined #ocaml

04:05 FreeBirdLjj has quit [Ping timeout: 264 seconds]

04:36 FreeBirdLjj has joined #ocaml

04:42 govg has joined #ocaml

04:45 onion has joined #ocaml

04:46 zolk3ri has joined #ocaml

04:48 onion is now known as on_ion

05:00 nicoo has quit [Read error: Connection reset by peer]

05:02 nicoo has joined #ocaml

05:08 MercurialAlchemi has joined #ocaml

05:13 zv has joined #ocaml

05:19 jimmyrcom has joined #ocaml

05:32 malina has quit [Ping timeout: 240 seconds]

05:40 MercurialAlchemi has quit [Ping timeout: 240 seconds]

05:41 MercurialAlchemi has joined #ocaml

05:50 tarptaeya has joined #ocaml

05:57 FreeBirdLjj has quit [Remote host closed the connection]

05:58 FreeBirdLjj has joined #ocaml

06:18 hdon has joined #ocaml

06:18 cbot has quit [Quit: Leaving]

06:19 mk9 has joined #ocaml

06:22 hdon has quit [Ping timeout: 240 seconds]

06:41 bartholin has joined #ocaml

06:46 snhmib has joined #ocaml

06:56 mk9 has quit [Quit: mk9]

07:15 inr has quit [Quit: WeeChat 2.0.1]

07:15 ygrek has joined #ocaml

07:16 jimmyrcom has quit [Ping timeout: 260 seconds]

07:16 inr has joined #ocaml

07:47 Onemorenickname has joined #ocaml

07:49 kalio has quit [Ping timeout: 240 seconds]

07:50 kalio has joined #ocaml

08:01 ygrek has quit [Remote host closed the connection]

08:02 ygrek has joined #ocaml

08:13 chindy has quit [Quit: No Ping reply in 180 seconds.]

08:14 chindy has joined #ocaml

08:15 chindy has quit [Excess Flood]

08:15 chindy has joined #ocaml

08:19 troydm has quit [Ping timeout: 255 seconds]

08:23 troydm has joined #ocaml

08:24 demonimin has joined #ocaml

08:30 mfp has joined #ocaml

08:37 ygrek_ has joined #ocaml

08:40 ygrek has quit [Ping timeout: 264 seconds]

08:42 <M-ErkkiSeppl> well, that's weird. does it get any benefits from single-endedness?

08:46 ygrek__ has joined #ocaml

08:47 ygrek__ has quit [Remote host closed the connection]

08:47 ygrek__ has joined #ocaml

08:50 ygrek_ has quit [Ping timeout: 276 seconds]

08:52 Bronsa has joined #ocaml

08:54 ygrek has joined #ocaml

08:56 ygrek__ has quit [Ping timeout: 256 seconds]

08:57 <def`> yes, one less word per item

08:57 <M-ErkkiSeppl> ..

08:57 <def`> it is implemented as a mutable linked list

09:07 <def`> one would need a doubly linked list for a dequeue :)

09:07 <Enjolras> queue ? wow i was certain it was the standard double list amortized queue in a mutable

09:08 <Enjolras> but indeed, it's mutable linked list

09:16 snhmib has quit [Ping timeout: 276 seconds]

09:20 ygrek has quit [Remote host closed the connection]

09:21 ygrek has joined #ocaml

09:22 ygrek has quit [Remote host closed the connection]

09:25 ygrek has joined #ocaml

09:28 lix_ is now known as lix

09:40 j0sh has quit [Ping timeout: 268 seconds]

09:40 j0sh has joined #ocaml

09:47 ygrek_ has joined #ocaml

09:49 ygrek has quit [Ping timeout: 240 seconds]

09:55 qbitor has left #ocaml ["WeeChat 1.6"]

09:55 mk9 has joined #ocaml

10:01 mk9 has quit [Quit: mk9]

10:11 zv has quit [Quit: WeeChat 1.9]

10:14 snhmib has joined #ocaml

10:17 ygrek_ has quit [Ping timeout: 240 seconds]

10:18 hdon has joined #ocaml

10:23 hdon has quit [Ping timeout: 265 seconds]

10:25 argent_smith1 has quit [Quit: Leaving.]

10:39 muelleme has joined #ocaml

10:43 TarVanimelde has joined #ocaml

10:58 Onemorenickname_ has joined #ocaml

10:59 Onemorenickname has quit [Ping timeout: 265 seconds]

11:00 lynn has quit [Quit: Connection closed for inactivity]

11:04 jimmyrcom has joined #ocaml

11:07 Haudegen has quit [Read error: Connection reset by peer]

11:09 TarVanimelde has quit [Quit: TarVanimelde]

11:09 argent_smith has joined #ocaml

11:14 jao has joined #ocaml

11:26 jao has quit [Ping timeout: 264 seconds]

11:28 mk9 has joined #ocaml

11:36 mk9 has quit [Quit: mk9]

11:49 neubyi has joined #ocaml

11:51 click_clack has joined #ocaml

11:51 huglovefan has joined #ocaml

11:52 huglovefan has quit [Client Quit]

12:03 snhmib has quit [Ping timeout: 260 seconds]

12:05 Haudegen has joined #ocaml

12:08 click_clack has left #ocaml ["WeeChat 2.1"]

12:15 jimmyrcom has quit [Ping timeout: 264 seconds]

12:16 snhmib has joined #ocaml

12:16 nicoo has quit [Remote host closed the connection]

12:16 nicoo has joined #ocaml

12:17 sh0t has joined #ocaml

12:19 hdon has joined #ocaml

12:20 snhmib has quit [Ping timeout: 256 seconds]

12:23 hdon has quit [Ping timeout: 260 seconds]

12:32 <remix2000[m]> Hi! How can I use an OCaml library from a C program?

12:35 <tarptaeya> remix2000[m]: you can find this useful https://www.linux-nantes.org/~fmonnier/OCaml/ocaml-wrapping-c.html#ref_mlfromc

12:35 <Armael> remix2000[m]: http://caml.inria.fr/pub/docs/manual-ocaml/intfc.html#sec448 http://www.linux-nantes.org/~fmonnier/OCaml/ocaml-wrapping-c.html#ref_mlfromc

12:49 gtrak_1 has joined #ocaml

12:51 sh0t has quit [Remote host closed the connection]

12:53 Onemorenickname_ has quit [Read error: Connection reset by peer]

12:54 gtrak_1 has quit [Ping timeout: 256 seconds]

12:55 gtrak_1 has joined #ocaml

13:07 muelleme has quit [Ping timeout: 240 seconds]

13:19 hdon has joined #ocaml

13:23 hdon has quit [Ping timeout: 240 seconds]

13:24 <companion_cube> def`: still, should be possible to push on both sides, right?

13:24 <companion_cube> even if we can only take from one

13:29 shinnya has joined #ocaml

13:31 FreeBirdLjj has quit [Remote host closed the connection]

13:38 FreeBirdLjj has joined #ocaml

13:43 FreeBirdLjj has quit [Ping timeout: 256 seconds]

13:59 FreeBirdLjj has joined #ocaml

14:01 sh0t has joined #ocaml

14:04 muelleme has joined #ocaml

14:05 mk9 has joined #ocaml

14:05 mk9 has quit [Client Quit]

14:07 mk9 has joined #ocaml

14:09 muelleme has quit [Ping timeout: 264 seconds]

14:14 mk9 has quit [Remote host closed the connection]

14:26 silver has joined #ocaml

14:40 malina has joined #ocaml

14:49 dogui has quit [Ping timeout: 264 seconds]

14:59 govg has quit [Quit: leaving]

15:06 mk9 has joined #ocaml

15:06 raduom has joined #ocaml

15:08 dogui has joined #ocaml

15:11 mk9 has quit [Client Quit]

15:11 mk9 has joined #ocaml

15:16 mk9 has quit [Quit: mk9]

15:19 mk9 has joined #ocaml

15:20 mk9 has quit [Client Quit]

15:21 mk9 has joined #ocaml

15:28 al-damiri has joined #ocaml

15:34 sepp2k has joined #ocaml

15:45 Haudegen has quit [Read error: Connection reset by peer]

15:49 shinnya has quit [Ping timeout: 264 seconds]

15:54 muelleme has joined #ocaml

15:57 mk9 has quit [Ping timeout: 240 seconds]

16:09 zv has joined #ocaml

16:11 spew has joined #ocaml

16:20 nullifidian__ has joined #ocaml

16:24 nullifidian_ has quit [Ping timeout: 268 seconds]

16:29 isd has joined #ocaml

16:50 muelleme has quit [Ping timeout: 264 seconds]

16:52 zolk3ri has quit [Ping timeout: 264 seconds]

16:55 zolk3ri has joined #ocaml

17:00 ziyourenxiang has quit [Ping timeout: 240 seconds]

17:17 hdon has joined #ocaml

17:24 slash^ has joined #ocaml

17:36 isd has quit [Ping timeout: 265 seconds]

17:39 Haudegen has joined #ocaml

17:47 muelleme has joined #ocaml

17:51 mk9 has joined #ocaml

17:52 muelleme has quit [Ping timeout: 256 seconds]

17:53 tarptaeya has quit [Ping timeout: 264 seconds]

18:01 malina has quit [Ping timeout: 260 seconds]

18:09 tarptaeya has joined #ocaml

18:12 isd has joined #ocaml

18:13 muelleme has joined #ocaml

18:23 kakadu_ has quit [Quit: Konversation terminated!]

18:30 sepp2k has quit [Quit: Leaving.]

18:35 <Armael> remix2000[m]: there's also https://github.com/yallop/ocaml-ctypes-inverted-stubs-example if you want to use ctypes

18:44 malina has joined #ocaml

18:49 MercurialAlchemi has quit [Ping timeout: 264 seconds]

18:50 isd has quit [Ping timeout: 240 seconds]

18:55 isd has joined #ocaml

19:00 mk9 has quit [Quit: mk9]

19:06 philtor has joined #ocaml

19:13 kakadu has joined #ocaml

19:15 jnavila has joined #ocaml

19:17 kolko has quit [Ping timeout: 260 seconds]

19:20 slash^ has quit [Read error: Connection reset by peer]

19:21 pierpa_ has joined #ocaml

19:30 johnelse_ has quit [Read error: Connection reset by peer]

19:33 mk9 has joined #ocaml

19:33 johnelse has joined #ocaml

19:40 mk9 has quit [Quit: mk9]

20:03 snhmib has joined #ocaml

20:10 Haudegen has quit [Ping timeout: 264 seconds]

20:15 hdon has left #ocaml [#ocaml]

20:18 pierpa has quit [Ping timeout: 260 seconds]

20:28 malina has quit [Ping timeout: 268 seconds]

20:49 <def`> companion_cube: yes

20:55 mrgrieve1 has quit [Ping timeout: 256 seconds]

20:56 zolk3ri has quit [Remote host closed the connection]

21:06 FreeBirdLjj has quit [Remote host closed the connection]

21:06 FreeBirdLjj has joined #ocaml

21:07 FreeBirdLjj has quit [Remote host closed the connection]

21:08 mrgrieves has joined #ocaml

21:09 Haudegen has joined #ocaml

21:14 argent_smith has quit [Quit: Leaving.]

21:16 mrgrieves has quit [Ping timeout: 265 seconds]

21:30 muelleme has quit [Ping timeout: 260 seconds]

21:34 jnavila has quit [Ping timeout: 256 seconds]

21:48 gtrak_1 has quit [Ping timeout: 256 seconds]

21:54 shinnya has joined #ocaml

22:09 jao has joined #ocaml

22:23 tarptaeya has quit [Quit: Byeeeeeee!]

22:31 malina has joined #ocaml

22:31 xaimus_ is now known as xaimus

23:16 spew has quit [Ping timeout: 240 seconds]

23:21 kakadu has quit [Remote host closed the connection]

23:24 ShalokShalom has joined #ocaml

23:24 <ShalokShalom> the ocaml compiler is incremental, yes?

23:24 <ShalokShalom> both?

23:25 <companion_cube> incremental? well it compiles file by file if that's the question

23:25 <ShalokShalom> https://en.wikipedia.org/wiki/Incremental_compiler

23:25 <ShalokShalom> want to add it here

23:25 <ShalokShalom> is it part of the runtime?

23:26 snhmib has quit [Quit: WeeChat 1.6]

23:26 <companion_cube> it's not part of the runtime (except when you run the toplevel evaluator)

23:27 <ShalokShalom> thy

23:28 ziyourenxiang has joined #ocaml

23:29 sh0t has quit [Remote host closed the connection]

23:29 <ShalokShalom> its added

23:29 <ShalokShalom> thanks :D

23:31 <companion_cube> hmm wait, it compiles file by file, but not at a finer grained evel

23:31 <companion_cube> level

23:32 <ShalokShalom> i think thats fine

23:32 <ShalokShalom> or should we mention it?

23:32 <ShalokShalom> other languages build all again

23:33 <companion_cube> ah, maybe in the "interactive programming" aspect

23:33 <companion_cube> there it can make sense, the toplevel does embed the compiler…

23:37 dmtd has joined #ocaml

23:39 lynn has joined #ocaml

23:40 cbot has joined #ocaml

23:53 jimmyrcom has joined #ocaml

23:58 Haudegen has quit [Remote host closed the connection]