#ocaml on 2013-04-26 — irc logs at freenode.irclog.whitequark.org

2013-02-24 19:25 flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/

00:04 Zerker has quit [Quit: Colloquy for iPad - Timeout (10 minutes)]

00:11 SuperNoeMan has quit [Quit: ZNC - http://znc.in]

00:11 SuperNoeMan has joined #ocaml

00:32 arj1 has quit [Quit: changing servers]

00:46 yezariaely has joined #ocaml

00:48 Fullma has quit [Ping timeout: 245 seconds]

00:53 emmanuelux has quit [Quit: emmanuelux]

00:56 walter has quit [Quit: This computer has gone to sleep]

01:01 walter has joined #ocaml

01:03 Neros has quit [Remote host closed the connection]

01:05 Fullma has joined #ocaml

01:08 Neros has joined #ocaml

01:19 madroach has quit [Ping timeout: 248 seconds]

01:21 madroach has joined #ocaml

02:02 yacks has quit [Ping timeout: 256 seconds]

02:45 yacks has joined #ocaml

04:39 darkf has joined #ocaml

04:40 smerz_ has joined #ocaml

05:04 UncleVasya has joined #ocaml

05:11 ttamttam has joined #ocaml

05:14 ttamttam has left #ocaml []

05:22 <adrien> morning

05:23 smerz_ has quit [Ping timeout: 252 seconds]

05:42 Yoric has joined #ocaml

05:50 paddymahoney has quit [Remote host closed the connection]

05:56 jonafan has quit [Read error: Operation timed out]

05:58 hkBst has joined #ocaml

06:04 jonafan has joined #ocaml

06:11 hkBst has quit [Ping timeout: 255 seconds]

06:13 hkBst has joined #ocaml

06:13 ttamttam has joined #ocaml

06:19 <ousado> good morning!

06:20 zpe has joined #ocaml

06:23 hkBst has quit [Ping timeout: 245 seconds]

06:27 Arsenik has joined #ocaml

06:30 <pippijn> morning

06:35 zpe has quit [Ping timeout: 240 seconds]

06:44 hkBst has joined #ocaml

06:47 djcoin has joined #ocaml

06:50 hkBst has quit [Ping timeout: 245 seconds]

06:51 hkBst has joined #ocaml

06:55 Arsenik has quit [Remote host closed the connection]

06:55 nalaginrut has joined #ocaml

06:57 hkBst has quit [Read error: Connection reset by peer]

06:57 hkBst has joined #ocaml

06:57 hkBst has quit [Changing host]

06:57 hkBst has joined #ocaml

06:58 cago has joined #ocaml

06:58 cdidd has joined #ocaml

06:59 cago has quit [Read error: Connection reset by peer]

07:02 zpe has joined #ocaml

07:03 zpe has quit [Remote host closed the connection]

07:04 zpe has joined #ocaml

07:12 awm22 has quit [Quit: Leaving.]

07:19 Kakadu has joined #ocaml

07:29 hkBst has quit [Read error: Connection reset by peer]

07:31 hkBst has joined #ocaml

07:31 hkBst has quit [Changing host]

07:31 hkBst has joined #ocaml

07:34 thomasga has joined #ocaml

07:40 raichoo has joined #ocaml

07:41 weie has joined #ocaml

07:42 weie_ has quit [Ping timeout: 240 seconds]

07:44 zpe has quit [Remote host closed the connection]

07:45 weie_ has joined #ocaml

07:45 zpe has joined #ocaml

07:48 weie has quit [Ping timeout: 264 seconds]

07:50 mika1 has joined #ocaml

07:53 awm22 has joined #ocaml

07:56 Yoric has quit [Ping timeout: 252 seconds]

07:58 maufred_ has quit [Quit: Lost terminal]

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

08:02 |jbrown| has joined #ocaml

08:03 maufred has joined #ocaml

08:06 milosn_ has joined #ocaml

08:07 mcclurmc has quit [Ping timeout: 272 seconds]

08:08 groovy2shoes has joined #ocaml

08:08 milosn has quit [Ping timeout: 245 seconds]

08:13 groovy2shoes has quit [Client Quit]

08:13 UncleVasya has quit [Ping timeout: 276 seconds]

08:14 hkBst_ has joined #ocaml

08:17 hkBst has quit [Ping timeout: 264 seconds]

08:19 hkBst_ has quit [Ping timeout: 276 seconds]

08:23 hkBst_ has joined #ocaml

08:25 <asmanur> thelema: there?

08:27 eikke has joined #ocaml

08:27 |jbrown| has quit [Ping timeout: 255 seconds]

08:37 <orbitz> -go rt

08:38 mfp has quit [Ping timeout: 272 seconds]

08:43 zpe has joined #ocaml

08:50 mfp has joined #ocaml

08:54 thomasga has quit [Quit: Leaving.]

08:55 jbrown has joined #ocaml

08:56 thomasga has joined #ocaml

08:56 thomasga has quit [Client Quit]

09:09 mcclurmc has joined #ocaml

09:19 thomasga has joined #ocaml

09:20 jbrown has quit [Ping timeout: 246 seconds]

09:26 raichoo has quit [Quit: leaving]

09:29 jamii has joined #ocaml

09:35 Yoric has joined #ocaml

09:43 jbrown has joined #ocaml

09:44 raichoo has joined #ocaml

09:55 RagingDave has joined #ocaml

09:59 thomasga has quit [Quit: Leaving.]

10:03 ttamttam has quit [Quit: ttamttam]

10:16 |jbrown| has joined #ocaml

10:18 jbrown has quit [Ping timeout: 252 seconds]

10:40 beckerb has joined #ocaml

10:46 ttamttam has joined #ocaml

10:52 cago has joined #ocaml

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

10:57 Nahra has joined #ocaml

10:57 jbrown__ has joined #ocaml

10:59 |jbrown| has quit [Ping timeout: 245 seconds]

11:07 Nahra has quit [Remote host closed the connection]

11:12 mcclurmc has quit [Ping timeout: 252 seconds]

11:18 mrm has joined #ocaml

11:26 jbrown__ has quit [Read error: Operation timed out]

11:37 asmanur has quit [Ping timeout: 246 seconds]

11:39 _andre has joined #ocaml

11:40 jbrown__ has joined #ocaml

11:42 asmanur has joined #ocaml

11:50 snarkyboojum has joined #ocaml

12:09 <pippijn> # Not_found == Not_found;;

12:09 <pippijn> - : bool = false

12:09 <pippijn> it allocates a new exception object every time? :\

12:17 <companion_cube> seems so

12:19 Neros has quit [Ping timeout: 272 seconds]

12:23 <def-lkb> pippijn: the reason (though it's an implementation detail) is that pattern matching on exceptions is very regular

12:23 <def-lkb> constant and parametrized exceptions are treated the same way : the first field is projected and tested against the exceptions constructors

12:24 hkBst_ has quit [Ping timeout: 248 seconds]

12:24 <def-lkb> therefore, when "constructing" a constant exception, a block with only one field pointing to the exception witness is allocated

12:25 tane has joined #ocaml

12:25 <pippijn> # `a == `a;;

12:25 <pippijn> - : bool = true

12:25 <pippijn> I always thought it would be similar to this

12:26 hkBst_ has joined #ocaml

12:26 hkBst_ has quit [Changing host]

12:26 hkBst_ has joined #ocaml

12:26 <mrm> pippijn: (==) == (==);; -> - : bool = false

12:26 <mrm> :-)

12:26 <companion_cube> :D

12:26 <companion_cube> two distinct closures

12:27 <mrm> let a = (==) in a == a;; -> - : bool = true

12:27 <pippijn> sure

12:27 <mrm> Yep. A crazy corner case :-)

12:27 raichoo has quit [Quit: leaving]

12:27 <def-lkb> variant, sums and exceptions doesn't share the same representation

12:29 <companion_cube> well, (==) is for hacks

12:29 <companion_cube> or hashconsing <3

12:33 Neros has joined #ocaml

12:33 <thizanne> i like to make unique key modules with unit ref and (==) also

12:35 <pippijn> unit ref?

12:35 q66 has joined #ocaml

12:36 <companion_cube> ref ()

12:36 <companion_cube> the simplest way to allocate a new block ;)

12:36 <pippijn> but what do you do with that, then?

12:36 <pippijn> magic it into something else?

12:36 <thizanne> you test for physical equality

12:36 <pippijn> ah

12:37 <companion_cube> it's the basis for one of the Univ type implementations, isn't it?

12:38 <thizanne> something like http://paste.awesom.eu/V5Z

12:38 <thizanne> oh, new is unit -> t in fact

12:44 awm22 has quit [Remote host closed the connection]

12:46 awm22 has joined #ocaml

12:47 jbrown__ has quit [Ping timeout: 252 seconds]

12:47 jbrown__ has joined #ocaml

12:57 hkBst_ has quit [Ping timeout: 245 seconds]

12:59 hkBst_ has joined #ocaml

12:59 hkBst_ has quit [Changing host]

12:59 hkBst_ has joined #ocaml

13:01 <asmanur> a]

13:04 weie_ has quit [Read error: Connection reset by peer]

13:04 <adrien_oww> b[

13:04 weie has joined #ocaml

13:10 sepp2k has joined #ocaml

13:11 <pippijn> [24~

13:11 hkBst_ has quit [Remote host closed the connection]

13:12 hkBst_ has joined #ocaml

13:22 ttamttam has left #ocaml []

13:29 Neros_ has joined #ocaml

13:30 Neros has quit [Ping timeout: 245 seconds]

13:36 hkBst_ has quit [Remote host closed the connection]

13:36 hkBst_ has joined #ocaml

13:36 hkBst_ has quit [Changing host]

13:36 hkBst_ has joined #ocaml

13:48 smondet has joined #ocaml

13:48 Fullma has quit [Ping timeout: 245 seconds]

13:51 <thelema> asmanur: here

13:52 Guest50920 has joined #ocaml

13:53 Kakadu has quit [Read error: Connection reset by peer]

13:53 Kakadu_ has joined #ocaml

13:57 Neros_ has quit [Ping timeout: 245 seconds]

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

14:06 cago has joined #ocaml

14:14 breakds has joined #ocaml

14:15 Kakadu_ has quit []

14:16 Kakadu has joined #ocaml

14:19 groovy2shoes has joined #ocaml

14:20 UncleVasya has joined #ocaml

14:20 contempt has quit [Ping timeout: 240 seconds]

14:22 contempt has joined #ocaml

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

14:25 Guest50920 has quit [Ping timeout: 245 seconds]

14:29 Neros has joined #ocaml

14:32 sgnb has quit [Read error: Connection reset by peer]

14:33 hkBst_ has quit [Quit: Konversation terminated!]

14:33 sgnb has joined #ocaml

14:33 sgnb has quit [Remote host closed the connection]

14:33 sgnb has joined #ocaml

14:35 darkf has quit [Quit: Leaving]

14:38 Guest50920 has joined #ocaml

14:38 raichoo has joined #ocaml

14:38 Guest50920 has quit [Read error: Connection reset by peer]

14:53 contempt has quit [Ping timeout: 245 seconds]

14:54 Neros has quit [Remote host closed the connection]

14:56 contempt has joined #ocaml

15:02 mika1 has quit [Quit: Leaving.]

15:03 Yoric has quit [Ping timeout: 252 seconds]

15:03 barbapapa has joined #ocaml

15:29 cago has left #ocaml []

15:34 mcclurmc has joined #ocaml

15:44 groovy2shoes has quit [Quit: groovy2shoes]

15:46 eikke has quit [Ping timeout: 276 seconds]

15:47 breakds has quit [Quit: Konversation terminated!]

15:56 breakds has joined #ocaml

16:10 Neros has joined #ocaml

16:21 awm22 has quit [Quit: Leaving.]

16:22 Kakadu has quit []

16:31 mcclurmc has quit [Ping timeout: 276 seconds]

16:32 djcoin has quit [Quit: WeeChat 0.3.9.2]

16:32 breakds has quit [Quit: Konversation terminated!]

16:49 emmanuelux has joined #ocaml

17:03 troydm has joined #ocaml

17:08 s4muel_ is now known as s4muel

17:08 s4muel is now known as s4muelj

17:08 Kakadu has joined #ocaml

17:13 ulfdoz has joined #ocaml

17:14 ollehar has joined #ocaml

17:15 s4muelj is now known as s4muel

17:26 barbapapa has quit [Remote host closed the connection]

17:33 Tobu has quit [Remote host closed the connection]

17:42 jamii has quit [Ping timeout: 245 seconds]

17:43 wwilly has quit [Remote host closed the connection]

17:47 awm22 has joined #ocaml

17:48 Tobu has joined #ocaml

17:52 Yoric has joined #ocaml

17:59 breakds has joined #ocaml

18:02 ttamttam has joined #ocaml

18:02 ttamttam has left #ocaml []

18:06 bitbckt has quit [Ping timeout: 256 seconds]

18:06 j0sh has quit [Ping timeout: 256 seconds]

18:06 stephe has quit [Ping timeout: 255 seconds]

18:06 j0sh has joined #ocaml

18:07 stephe has joined #ocaml

18:08 bitbckt has joined #ocaml

18:21 ttamttam has joined #ocaml

18:22 leoncamel2 has quit [Ping timeout: 264 seconds]

18:24 ontologiae has joined #ocaml

18:24 Xizor has joined #ocaml

18:25 ttamttam has left #ocaml []

18:26 ollehar has quit [Ping timeout: 260 seconds]

18:26 milosn_ is now known as milosn

18:32 sepp2k has quit [Remote host closed the connection]

18:33 bitbckt_ has joined #ocaml

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

18:33 bitbckt_ is now known as bitbckt

18:34 bitbckt has quit [Changing host]

18:34 bitbckt has joined #ocaml

18:35 Anarchos has joined #ocaml

18:38 bitbckt has quit [Quit: out]

18:45 mrm has quit [Ping timeout: 248 seconds]

18:49 RagingDave has quit [Ping timeout: 245 seconds]

18:59 fayden has quit [Quit: Bye]

19:05 <adrien> FUCK YOU CHANSERV

19:21 bitbckt has joined #ocaml

19:21 bitbckt has quit [Changing host]

19:21 bitbckt has joined #ocaml

19:27 RagingDave has joined #ocaml

19:33 Nahra has joined #ocaml

19:34 smondet has quit [Remote host closed the connection]

19:47 UncleVasya has quit [Quit: UncleVasya]

19:55 Kakadu has quit []

20:26 _andre has quit [Quit: leaving]

20:28 Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]

20:29 derek_c has joined #ocaml

20:33 Kakadu has joined #ocaml

20:38 eni has joined #ocaml

20:50 csmrfx has joined #ocaml

20:54 mcclurmc has joined #ocaml

21:06 Kakadu has quit []

21:16 ontologi1e has joined #ocaml

21:18 derek_c has quit [Quit: leaving]

21:18 eni has quit [Excess Flood]

21:18 eni has joined #ocaml

21:19 ontologiae has quit [Ping timeout: 258 seconds]

21:19 zpe has quit [Remote host closed the connection]

21:20 zpe has joined #ocaml

21:21 zpe has quit [Remote host closed the connection]

21:21 Xizor has quit []

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

21:24 yezariaely has joined #ocaml

21:34 ulfdoz has quit [Ping timeout: 258 seconds]

21:36 Yoric has quit [Ping timeout: 252 seconds]

22:05 Snark has quit [Quit: leaving]

22:05 ontologi1e has quit [Ping timeout: 256 seconds]

22:05 eni has quit [Ping timeout: 258 seconds]

22:05 RagingDave has quit [Quit: Ex-Chat]

22:18 cdidd has quit [Ping timeout: 248 seconds]

22:18 leoncamel2 has joined #ocaml

22:21 zpe has joined #ocaml

22:25 groovy2shoes has joined #ocaml

22:27 breakds has quit [Read error: Operation timed out]

22:41 emmanuelux has quit [Quit: emmanuelux]

22:44 emmanuelux has joined #ocaml

22:47 zpe has quit [Remote host closed the connection]

23:03 q66 has quit [Remote host closed the connection]

23:25 milosn_ has joined #ocaml

23:28 milosn has quit [Ping timeout: 264 seconds]

23:36 yacks has quit [Ping timeout: 268 seconds]

23:41 smerz_ has joined #ocaml

23:57 zpe has joined #ocaml