#ocaml on 2011-04-03 — irc logs at freenode.irclog.whitequark.org

2011-03-31 09:55 gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml Meeting 2011 http://bit.ly/eaZi1C | OCaml 3.12.0 http://bit.ly/aNZBUp

00:04 <avsm> by packing, do you mean serialise to big endian?

00:04 <bitbckt> yeah, big endian bit representation.

00:05 <avsm> i just rolled my own with a htonll

00:05 <bitbckt> heh.

00:05 <bitbckt> it seems I'll be doing likewise.

00:05 <avsm> well, asm("bswap") to be precise, but my code only runs on amd64

00:07 <avsm> the code's embedded in my OS library, but the wrapper is trivial to do yourself

00:07 <avsm> https://github.com/avsm/mirage/blob/master/lib/os/runtime_xen/kernel/istring_stubs.c#L229

00:07 <bitbckt> Oh, you wrote mirage. :)

00:07 <bitbckt> I work with Marius.

00:08 <avsm> hah, small world. yeah, i'll even do a release sometime this month hopefully ;)

00:08 <bitbckt> that works well for me, thanks.

00:11 <pborges> uintklib uses caml_serialize_int_8

00:11 <pborges> what is the problem with that?

00:16 <bitbckt> uintklib?

00:16 <pborges> ocaml-uint

00:16 kerx has quit [Quit: Leaving]

00:17 <bitbckt> Aha. I didn't know this existed.

00:18 <pborges> https://github.com/andrenth/ocaml-uint

00:18 <bitbckt> I'm looking at that now, thanks.

00:25 sheets has quit [Quit: Leaving.]

00:30 pborges has quit [Quit: Page closed]

00:35 wtetzner has quit [Remote host closed the connection]

00:35 wtetzner has joined #ocaml

00:45 ulfdoz_ has joined #ocaml

00:50 ulfdoz has quit [Ping timeout: 276 seconds]

00:50 ulfdoz_ is now known as ulfdoz

00:55 gildor has quit [Ping timeout: 264 seconds]

00:57 gildor has joined #ocaml

01:01 Pepe_ has quit [Ping timeout: 264 seconds]

01:01 Pepe_ has joined #ocaml

01:01 enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]

01:01 Obfuscate has quit [Ping timeout: 264 seconds]

01:02 Obfuscate has joined #ocaml

01:04 arubin has quit [Quit: arubin]

01:14 emmanuelux has joined #ocaml

01:31 lopex has quit []

01:34 wtetzner has quit [Remote host closed the connection]

01:35 wtetzner has joined #ocaml

01:47 rien has joined #ocaml

01:54 wtetzner has quit [Remote host closed the connection]

01:55 wtetzner has joined #ocaml

02:11 emmanuelux has quit [Remote host closed the connection]

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

02:43 wtetzner has joined #ocaml

02:50 philtor has joined #ocaml

03:06 philtor has quit [Ping timeout: 260 seconds]

03:09 pencilk has joined #ocaml

03:21 pencilk has quit [Read error: Operation timed out]

03:22 _habnabit has quit [Ping timeout: 246 seconds]

03:26 wtetzner has quit [Remote host closed the connection]

03:27 wtetzner has joined #ocaml

03:40 arubin has joined #ocaml

03:46 wtetzner has quit [Remote host closed the connection]

03:46 philtor has joined #ocaml

03:46 wtetzner has joined #ocaml

03:52 philtor has quit [Ping timeout: 255 seconds]

04:19 vivanov has quit [Quit: Lost terminal]

04:19 dnolen has joined #ocaml

04:20 dnolen has quit [Client Quit]

04:27 philtor has joined #ocaml

04:31 jonafan_ has joined #ocaml

04:35 jonafan has quit [Ping timeout: 240 seconds]

04:38 wtetzner has quit [Remote host closed the connection]

04:39 ymasory has quit [Quit: Leaving]

04:39 wtetzner has joined #ocaml

05:11 ikaros has joined #ocaml

05:22 arubin has quit [Quit: arubin]

05:26 jld has quit [Quit: Bees.]

05:28 jld has joined #ocaml

05:31 avsm has quit [Quit: Leaving.]

06:16 ikaros has quit [Quit: Leave the magic to Houdini]

06:39 ygrek has joined #ocaml

06:51 ftrvxmtrx has quit [Ping timeout: 276 seconds]

06:56 wtetzner has quit [Remote host closed the connection]

06:56 wtetzner has joined #ocaml

07:02 philtor has quit [Ping timeout: 248 seconds]

07:05 ftrvxmtrx has joined #ocaml

07:12 wtetzner has quit [Remote host closed the connection]

07:13 wtetzner has joined #ocaml

07:39 adlsaks has joined #ocaml

08:01 Cyanure has joined #ocaml

08:09 edwin has joined #ocaml

08:16 emmanuelux has joined #ocaml

08:41 wtetzner has quit [Remote host closed the connection]

08:41 wtetzner has joined #ocaml

08:58 wtetzner has quit [Remote host closed the connection]

08:59 wtetzner has joined #ocaml

09:24 Yoric has joined #ocaml

09:35 adlsaks has quit [Ping timeout: 240 seconds]

09:47 wtetzner has quit [Remote host closed the connection]

09:47 wtetzner has joined #ocaml

09:58 edwin1 has joined #ocaml

09:58 edwin has quit [Disconnected by services]

09:58 edwin1 is now known as edwin

10:04 edwin1 has joined #ocaml

10:04 edwin has quit [Disconnected by services]

10:04 edwin1 is now known as edwin

10:06 edwin1 has joined #ocaml

10:06 edwin has quit [Disconnected by services]

10:09 edwin has joined #ocaml

10:10 Fullma has joined #ocaml

10:10 edwin2 has joined #ocaml

10:10 edwin has quit [Disconnected by services]

10:10 edwin2 is now known as edwin

10:11 edwin1 has quit [Ping timeout: 264 seconds]

10:14 wtetzner has quit [Remote host closed the connection]

10:14 wtetzner has joined #ocaml

10:15 edwin1 has joined #ocaml

10:15 edwin has quit [Disconnected by services]

10:20 edwin1 has quit [Ping timeout: 240 seconds]

10:34 edwin has joined #ocaml

10:45 eye-scuzzy has quit [Quit: leaving]

10:54 ikaros has joined #ocaml

11:10 lopex has joined #ocaml

11:14 mehdid has quit [Ping timeout: 252 seconds]

11:14 ftrvxmtrx has quit [Quit: Leaving]

11:16 ftrvxmtrx has joined #ocaml

11:19 pencilk has joined #ocaml

11:33 sepp2k has joined #ocaml

11:35 ftrvxmtrx has quit [Quit: Leaving]

11:44 ftrvxmtrx has joined #ocaml

11:46 pencilk has quit [Ping timeout: 240 seconds]

11:49 pencilk has joined #ocaml

11:51 pencilk has quit [Max SendQ exceeded]

12:14 jonafan has joined #ocaml

12:15 jonafan_ has quit [Ping timeout: 276 seconds]

12:15 jonafan__ has joined #ocaml

12:20 jonafan has quit [Ping timeout: 276 seconds]

12:22 mehdid has joined #ocaml

12:33 jonafan_ has joined #ocaml

12:37 jonafan__ has quit [Ping timeout: 250 seconds]

12:46 wtetzner has quit [Quit: Leaving]

12:49 lopex has quit []

12:56 <thelema> grr, ocaml.info is still messed up

13:18 ygrek has quit [Ping timeout: 246 seconds]

13:34 ygrek has joined #ocaml

14:02 avsm has joined #ocaml

14:04 Oejet has joined #ocaml

14:59 DimitryKakadu has joined #ocaml

15:01 fraggle_ has quit [Quit: -ENOBRAIN]

15:10 fraggle_ has joined #ocaml

15:14 lopex has joined #ocaml

15:18 dnolen has joined #ocaml

15:31 coucou747 has quit [Read error: Connection reset by peer]

15:35 Oejet has quit [Read error: Connection reset by peer]

15:35 Oejet has joined #ocaml

15:37 sdschulze has joined #ocaml

15:39 <sdschulze> Is there a description of OCaml's typechecking algorithm? I'd especially be interested in what changed by the introduction of explicit type annotations in 3.12.0.

15:41 yezariaely has joined #ocaml

15:42 yezariaely has left #ocaml []

15:44 <thelema> sdschulze: not so much

15:44 <sdschulze> thelema: not so much change or not so much doc?

15:44 <thelema> I'm trying to find the commit in the logs that introduced the change, but there's a lot of log to go through

15:44 <thelema> not so much doc

15:46 <thelema> it might be in here: https://github.com/thelema/ocaml-community/commit/ed1cda108268997e066e883ada877918fc208b3f

15:46 <sdschulze> I'm a bit confused because all the theoretical CS books don't actually talk about let-bindings.

15:46 <thelema> yup, looks like that's it.

15:47 <sdschulze> "Well, you can derive the typing just by substituting the let-body. That's not very efficient but mathematically correct. The rest isn't theoretical CS any more. :)"

15:48 <sdschulze> Thanks! It doesn't even look like a big change.

15:49 <thelema> nope, not a big one

15:58 philtor has joined #ocaml

16:08 ymasory has joined #ocaml

16:25 dnolen has quit [Quit: dnolen]

16:36 sepp2k has quit [Ping timeout: 240 seconds]

16:39 rwmjones has quit [Ping timeout: 240 seconds]

16:49 dnolen has joined #ocaml

16:53 sepp2k has joined #ocaml

16:55 rwmjones has joined #ocaml

16:56 dnolen has quit [Quit: dnolen]

17:04 DimitryKakadu has quit [Remote host closed the connection]

17:24 philtor has quit [Ping timeout: 240 seconds]

17:28 Pepe_ has quit [Ping timeout: 260 seconds]

17:29 Pepe_ has joined #ocaml

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

17:32 smerz has joined #ocaml

17:42 jamii has joined #ocaml

17:43 boscop has joined #ocaml

17:43 lopexx has joined #ocaml

17:45 lopex has quit [Ping timeout: 246 seconds]

18:13 philtor has joined #ocaml

18:25 f[x] has quit [Ping timeout: 248 seconds]

18:26 f[x] has joined #ocaml

18:33 avsm has quit [Quit: Leaving.]

18:46 philtor has quit [Ping timeout: 248 seconds]

18:46 ygrek has quit [Ping timeout: 246 seconds]

18:58 pdhborges has joined #ocaml

19:11 jamii has quit [Quit: Leaving]

19:37 iris1 has quit [Quit: iris1]

19:41 jderque has joined #ocaml

19:43 jderque has quit [Client Quit]

19:45 sepp2k has joined #ocaml

20:07 jderque has joined #ocaml

20:28 ymasory has quit [Quit: Leaving]

20:29 ymasory has joined #ocaml

20:30 sdschulze has quit [Remote host closed the connection]

20:32 lopexx has quit []

20:33 lopex has joined #ocaml

20:55 Yoric has quit [Quit: Yoric]

20:56 ymasory has left #ocaml []

21:03 jderque has quit [Quit: leaving]

21:19 tnguyen has joined #ocaml

21:25 pdhborges has quit [Quit: Page closed]

21:26 enthymeme has joined #ocaml

21:42 avsm has joined #ocaml

21:47 avsm1 has joined #ocaml

21:48 avsm3 has joined #ocaml

21:48 avsm1 has quit [Read error: Connection reset by peer]

21:49 avsm has quit [Read error: Connection reset by peer]

21:52 Oejet has quit [Quit: Leaving.]

21:54 edwin has quit [Remote host closed the connection]

21:55 avsm3 has quit [Ping timeout: 246 seconds]

22:05 ikaros has quit [Quit: Leave the magic to Houdini]

22:08 wtetzner has joined #ocaml

22:11 avsm has joined #ocaml

22:24 ftrvxmtrx has quit [Read error: Connection reset by peer]

22:25 ftrvxmtrx has joined #ocaml

22:31 adlsaks has joined #ocaml

22:34 tnguyen has quit [Remote host closed the connection]

22:40 ulfdoz has quit [Ping timeout: 252 seconds]

22:59 adlsaks has quit [Ping timeout: 255 seconds]

23:01 avsm1 has joined #ocaml

23:01 avsm has quit [Read error: Connection reset by peer]

23:11 Amorphous has quit [Read error: Operation timed out]

23:22 tnguyen has joined #ocaml

23:23 flx_ has joined #ocaml

23:25 schmx has joined #ocaml

23:25 schmx has quit [Changing host]

23:25 schmx has joined #ocaml

23:26 cthuluh_ has joined #ocaml

23:26 npouilla1d has joined #ocaml

23:26 bitbckt_ has joined #ocaml

23:27 svenl has joined #ocaml

23:27 npouillard has quit [*.net *.split]

23:27 flux has quit [*.net *.split]

23:27 cthuluh has quit [*.net *.split]

23:27 schmrkc has quit [*.net *.split]

23:27 pantsd has quit [*.net *.split]

23:27 orbitz has quit [*.net *.split]

23:27 bitbckt has quit [*.net *.split]

23:27 svenl_ has quit [*.net *.split]

23:27 flx_ is now known as flux

23:27 Amorphous has joined #ocaml

23:28 pantsd has joined #ocaml

23:29 orbitz has joined #ocaml

23:32 joewilliams_away is now known as joewilliams

23:34 sepp2k has quit [Quit: Leaving.]

23:42 mattam has quit [Ping timeout: 252 seconds]

23:42 wagle_ has joined #ocaml

23:43 Cyanure has quit [Ping timeout: 252 seconds]

23:43 __marius__ has quit [Ping timeout: 252 seconds]

23:43 wagle has quit [Ping timeout: 250 seconds]

23:43 jonafan_ has quit [Ping timeout: 252 seconds]

23:44 dnolen has joined #ocaml

23:44 jonafan__ has joined #ocaml

23:44 mattam has joined #ocaml

23:45 __marius__ has joined #ocaml

23:50 cthuluh_ is now known as cthuluh-

23:50 cthuluh- is now known as cthuluh

23:54 arubin has joined #ocaml

23:55 haelix has quit [Ping timeout: 252 seconds]

23:55 haelix has joined #ocaml

23:56 diml has quit [Ping timeout: 252 seconds]

23:56 diml has joined #ocaml