#ocaml on 2019-04-17 — irc logs at freenode.irclog.whitequark.org

2018-10-19 11:39 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

00:07 silver_ has quit [Quit: rakede]

00:19 ale64bit has joined #ocaml

00:38 mfp has quit [Ping timeout: 246 seconds]

01:23 Jeanne-Kamikaze has joined #ocaml

01:33 amiloradovsky has quit [Ping timeout: 246 seconds]

01:39 AtumT has quit [Quit: AtumT]

01:44 nullifidian__ has joined #ocaml

01:47 nullifidian_ has quit [Ping timeout: 246 seconds]

02:12 Jeanne-Kamikaze has quit [Remote host closed the connection]

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

02:18 jao has joined #ocaml

02:22 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

02:23 xuib has quit [Quit: xuib]

02:24 tormen has joined #ocaml

02:27 tormen_ has quit [Ping timeout: 246 seconds]

02:32 kvda has joined #ocaml

02:37 jao has quit [Ping timeout: 250 seconds]

02:49 gravicappa has joined #ocaml

02:57 AnAverageHuman has joined #ocaml

02:57 ale64bit has quit [Ping timeout: 244 seconds]

03:29 keep_learning has joined #ocaml

03:39 Jeanne-Kamikaze has joined #ocaml

03:39 ale64bit has joined #ocaml

03:57 keep_learning has quit [Remote host closed the connection]

03:57 keep_learning has joined #ocaml

04:00 Jeanne-Kamikaze has quit [Remote host closed the connection]

04:01 AnAverageHuman has quit [Ping timeout: 256 seconds]

04:08 ale64bit has quit [Ping timeout: 245 seconds]

04:25 pierpal has joined #ocaml

05:18 _whitelogger has joined #ocaml

05:37 ziyourenxiang__ has quit [Remote host closed the connection]

05:37 ziyourenxiang__ has joined #ocaml

06:02 sonologico has quit [Remote host closed the connection]

06:29 ksqsf has joined #ocaml

06:29 <ksqsf> Hi, how can I install an older version of core with opam?

06:30 <ksqsf> `opam install core.0.9.1` complains Package core has no version 0.9.1.

06:39 barockobamo has joined #ocaml

06:43 <vsiles> ksqsf: I think you have to `opam pin add core.0.9.1`

06:43 <vsiles> (not sure that's the exact syntax)

06:44 Haudegen has joined #ocaml

07:02 jaar has joined #ocaml

07:04 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

07:07 nicooo has quit [Remote host closed the connection]

07:07 nicooo has joined #ocaml

07:13 johnelse has quit [Quit: leaving]

07:15 johnelse has joined #ocaml

07:22 ksqsf has quit [Read error: Connection reset by peer]

07:24 kvda has joined #ocaml

08:17 kalio has quit [Ping timeout: 245 seconds]

08:18 kalio has joined #ocaml

08:21 jnavila has joined #ocaml

08:29 <Fardale> opam install core.v0.9.1

08:30 <Fardale> the version number is v0.9.1 not 0.9.1

08:39 freyr69 has joined #ocaml

09:22 mfp has joined #ocaml

09:27 swa19 has joined #ocaml

09:34 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

09:34 Bahman has joined #ocaml

09:42 notnotda1 has joined #ocaml

09:48 swa19 has quit [Ping timeout: 245 seconds]

09:50 kvda has joined #ocaml

10:01 Haudegen has quit [Remote host closed the connection]

10:10 madroach has quit [Ping timeout: 264 seconds]

10:11 madroach has joined #ocaml

10:29 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

10:42 infinity0 has quit [Ping timeout: 250 seconds]

10:44 infinity0 has joined #ocaml

10:49 johnelse has quit [Quit: leaving]

10:56 johnelse has joined #ocaml

10:58 Bahman has quit [Ping timeout: 250 seconds]

11:04 kvda has joined #ocaml

11:06 <cemerick> I'm seeing "The module Foo is a functor, it cannot have any components" when attempting to refer to types defined in a recursive module context. How can one work around this?

11:06 infinity0 has quit [Remote host closed the connection]

11:07 <cemerick> I tried establishing a separate module type, but kept getting yelled at for syntax violations. :-P

11:08 <Drup> Can you show an example of thing syou want that fails ?

11:08 infinity0 has joined #ocaml

11:17 <cemerick> yeah, I'll try to reconstruct it

11:28 jaar has quit [Ping timeout: 258 seconds]

11:32 <cemerick> Drup: for example (think of two implementations of the same sort of data structure where you'd like to have an efficient conversion operation between): https://gist.github.com/cemerick/713dbbbbafd237ac64360850c7546299

11:42 AtumT has joined #ocaml

11:44 <Drup> why use recursive modules, instead of one big functor that instanciate both data structures ?

11:45 avr has joined #ocaml

11:46 avr has left #ocaml [#ocaml]

11:47 <Drup> the problem is that, from Foo's point of view, there is no such thing as "Bar.t" (but "Bar(B).t" is defined), and there is certainly no such thing as one unique record with a field `bar`

11:47 <Drup> the right solution, if you want synchronized modules like that, is to bundle everything inside a functor

11:50 <Drup> and then everything is easy: https://bpaste.net/show/416e1d106731

11:53 <cemerick> Drup: Interesting, I'll have to try that next time. I didn't even think of the possibility of parameterizing at a higher level.

11:54 <Drup> (as a general rule, recursive module is rarely the right solution)

11:56 <cemerick> it certainly seemed like the natural approach to e.g. a thaw/freeze dual

11:56 <cemerick> but I take your point :-)

11:57 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

12:04 jao has joined #ocaml

12:15 silver has joined #ocaml

12:44 jaar has joined #ocaml

12:52 johnelse has quit [Quit: leaving]

12:55 Haudegen has joined #ocaml

12:56 q9929t has joined #ocaml

12:59 kvda has joined #ocaml

12:59 johnelse has joined #ocaml

13:00 kvda has quit [Client Quit]

13:00 spew has joined #ocaml

13:03 q9929t has quit [Quit: q9929t]

13:51 tane has joined #ocaml

14:04 ggole has joined #ocaml

14:32 ygrek has joined #ocaml

14:40 dhil has joined #ocaml

14:44 xuib has joined #ocaml

14:47 jao has quit [Ping timeout: 268 seconds]

15:21 <freyr69> Is there any way to build a rust library with dune as an OCaml library's dependency?

15:22 <freyr69> I could build .a/.so files using rule, but can't link them to my C stubs

15:22 <companion_cube> https://github.com/c-cube/batsat-ocaml/blob/master/src/dune <-- ugly magic here

15:22 <companion_cube> (also you need cargo-vendor to use that inside opam)

15:23 <companion_cube> I haven't tried writing the stubs in C, though, I use ocaml-rs to write them directly in rust

15:24 <freyr69> I see, the unfortunate part is that I could use either c_names or self_build_stubs_archive

15:25 <freyr69> so I have to write a separate library it seems

15:27 <companion_cube> I have no good solution for now :/

15:27 <companion_cube> (also, ocaml-rs is neat but doesn't seem to handle some corner cases well…)

15:31 <freyr69> Yeah, I would prefer to write C stubs directly.

15:31 <companion_cube> maybe I should do the same, tbh…

15:31 <companion_cube> export C functions from rust in a .a, then write C stubs

15:33 <freyr69> Yeah, but linking to it with dune is pita

15:33 <freyr69> =(

15:34 <companion_cube> if you open an issue in dune I'll chime in ;)

15:34 <companion_cube> ocaml+rust is very interesting

15:39 jnavila has quit [Ping timeout: 258 seconds]

15:39 <freyr69> companion_cube: I think this is it:

15:39 <freyr69> https://github.com/ocaml/dune/issues/788

15:41 <companion_cube> nice

15:43 <freyr69> Seems like Chris00 just builds a fortran pseudo-stubs library and then links it to the main one

15:46 dhil has quit [Ping timeout: 268 seconds]

15:56 Serpent7776 has joined #ocaml

16:01 Haudegen has quit [Read error: Connection reset by peer]

16:02 freyr69 has quit [Remote host closed the connection]

16:07 nopf has joined #ocaml

16:23 _whitelogger_ has joined #ocaml

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

16:26 _whitelogger has quit [Ping timeout: 240 seconds]

16:38 ggole has quit [Quit: Leaving]

16:54 ziyourenxiang__ has quit [Ping timeout: 268 seconds]

17:02 Haudegen has joined #ocaml

17:03 jnavila has joined #ocaml

17:06 unyu has quit [Ping timeout: 250 seconds]

17:06 ale64bit has joined #ocaml

17:07 okuu has joined #ocaml

17:08 jao has joined #ocaml

17:13 ale64bit has quit [Ping timeout: 268 seconds]

17:21 al-damiri has joined #ocaml

17:32 dhil has joined #ocaml

17:35 sonologico has joined #ocaml

17:42 kakadu has quit [Quit: Konversation terminated!]

17:58 Birdface has joined #ocaml

18:01 okuu is now known as unyu

18:04 Jesin has quit [Quit: Leaving]

18:08 Jesin has joined #ocaml

18:37 jaar has quit [Ping timeout: 244 seconds]

19:01 gravicappa has quit [Ping timeout: 245 seconds]

19:11 AnAverageHuman has joined #ocaml

19:19 kakadu has joined #ocaml

19:22 gonz_ has left #ocaml [#ocaml]

19:23 dhil has quit [Ping timeout: 245 seconds]

20:06 pierpal has quit [Quit: Poof]

20:06 pierpal has joined #ocaml

20:07 unyu has quit [Quit: ERC (IRC client for Emacs 26.2)]

20:31 <adrien> I was discussing with friends and go's runtime size came up (again)

20:32 <adrien> does anyone know how much space would be required to get something running with lwt (smallest possible: bytecode vs native code doesn't matter)?

20:35 tane has quit [Quit: Leaving]

20:35 Serpent7776 has quit [Quit: leaving]

20:36 <companion_cube> just write a basic hello world with lwt.unix?

20:40 silver has quit [Quit: rakede]

20:42 <dinosaure> adrien: you should on lto patch in OCaml which delete dead code

20:42 <dinosaure> and, if I remmember correctly, a hello-world MirageOS is 1Mb and needs 10Mb in memory

20:42 <dinosaure> (but I'm not sure)

20:43 <companion_cube> :-°

20:43 <companion_cube> 10MB, really??

20:44 ocabot has quit [Remote host closed the connection]

20:44 ocabot has joined #ocaml

20:44 <dinosaure> I'm really not sure, this is what I heard and did not check it

20:44 <companion_cube> hmm ok, ocabot does take more than 10MB :(

20:44 <dinosaure> :d

20:44 <companion_cube> (but very stable otherwise)

21:03 Haudegen has quit [Remote host closed the connection]

21:22 kvda has joined #ocaml

21:38 Haudegen has joined #ocaml

21:50 Birdface has quit [Ping timeout: 268 seconds]

21:52 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

21:56 jnavila has quit [Ping timeout: 258 seconds]

22:03 kvda has joined #ocaml

22:09 govg has quit [Ping timeout: 246 seconds]

22:09 govg has joined #ocaml

22:12 kakadu has quit [Remote host closed the connection]

22:17 unyu has joined #ocaml

22:30 ygrek has quit [Ping timeout: 255 seconds]

22:47 AnAverageHuman has quit [Ping timeout: 256 seconds]

22:52 Haudegen has quit [Remote host closed the connection]

23:17 unyu has quit [Ping timeout: 255 seconds]

23:21 AnAverageHuman has joined #ocaml

23:29 unyu has joined #ocaml