#ocaml on 2012-10-25 — irc logs at freenode.irclog.whitequark.org

2012-10-10 12:23 ChanServ 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-lang.org

00:03 julm has quit [Ping timeout: 272 seconds]

00:04 tbrady has joined #ocaml

00:11 tac-tics has quit [Ping timeout: 245 seconds]

00:23 avsm has quit [Quit: Leaving.]

00:33 tac-tics has joined #ocaml

00:38 julm has joined #ocaml

00:39 ben_zen has quit [Quit: leaving]

00:55 fraggle_ has quit [Remote host closed the connection]

01:04 tac has quit [Ping timeout: 245 seconds]

01:07 tac has joined #ocaml

01:09 bobry has quit [Read error: Connection reset by peer]

01:09 lopex has quit [Remote host closed the connection]

01:09 joewilliams has quit [Remote host closed the connection]

01:09 tac-tics has quit [Ping timeout: 245 seconds]

01:18 tac has quit [Ping timeout: 245 seconds]

01:22 tbrady has quit [Quit: Leaving.]

01:22 lopex has joined #ocaml

01:22 ben_zen has joined #ocaml

01:42 jamii has quit [Read error: Connection reset by peer]

01:46 fraggle_ has joined #ocaml

02:36 madroach has joined #ocaml

02:41 joewilliams has joined #ocaml

03:06 wtetzner has joined #ocaml

03:29 Yoric has quit [Remote host closed the connection]

03:29 Yoric has joined #ocaml

03:36 gnuvince has quit [Ping timeout: 244 seconds]

03:38 gnuvince has joined #ocaml

03:52 tac has joined #ocaml

04:24 mjonsson has quit [Remote host closed the connection]

04:38 abeaulieu has quit [Ping timeout: 240 seconds]

04:44 abeaulieu has joined #ocaml

05:02 hnrgrgr has quit [Ping timeout: 248 seconds]

05:14 hnrgrgr has joined #ocaml

05:16 Snark has joined #ocaml

05:40 <pippijn> now I want dependent types

05:44 <pippijn> I want this: http://paste.xinu.at/jRfR/

05:46 <pippijn> instead, I now have 3 functions

05:53 <pippijn> ah, I think I can do without

05:54 <adrien> =)

05:54 <pippijn> nice nice

05:55 <pippijn> val get : 'variant -> 'semantic variants -> ('variant, 'semantic) variant

05:55 <pippijn> I hope I can implement it, too

05:56 <pippijn> hmm

05:56 <pippijn> I guess I can't

05:57 <pippijn> I can express the type I want, but not the code

05:59 <pippijn> any ideas?

05:59 <pippijn> http://paste.xinu.at/irCcg/

06:01 tufisi has joined #ocaml

06:01 Vinnipeg has joined #ocaml

06:02 Cyanure has joined #ocaml

06:03 <pippijn> I guess that really needs dependent types

06:03 <pippijn> because the return type depends on a value

06:03 <pippijn> but I somehow wish it can still be possible, because that value has a defined type

06:04 Submarine has quit [Ping timeout: 244 seconds]

06:10 Submarine has joined #ocaml

06:10 Submarine has quit [Changing host]

06:10 Submarine has joined #ocaml

06:10 tufisi has quit [Ping timeout: 244 seconds]

06:13 Submarine has quit [Client Quit]

06:24 flux has quit [Ping timeout: 245 seconds]

06:44 answer_42 has joined #ocaml

06:45 tac has quit [Ping timeout: 245 seconds]

06:46 Cyanure has quit [Quit: Quitte]

06:48 flux has joined #ocaml

06:52 tufisi has joined #ocaml

07:27 cago has joined #ocaml

07:48 mcclurmc_away is now known as mcclurmc

07:56 ontologiae has joined #ocaml

07:59 djcoin has joined #ocaml

08:00 pango is now known as pangoafk

08:05 Neros has quit [Ping timeout: 276 seconds]

08:05 leoncamel has joined #ocaml

08:05 GnomeStoleMyBike has joined #ocaml

08:06 Xizor has joined #ocaml

08:26 Neros has joined #ocaml

08:31 Yoric has quit [Quit: Instantbird 1.3a1pre -- http://www.instantbird.com]

08:31 Yoric has joined #ocaml

08:43 Progster has joined #ocaml

08:52 Progster has quit [Ping timeout: 240 seconds]

08:54 Neros_ has joined #ocaml

08:55 Neros has quit [Ping timeout: 260 seconds]

09:08 sepp2k has joined #ocaml

09:12 sivoais has quit [Quit: Lost terminal]

09:51 Yoric has quit [Ping timeout: 240 seconds]

09:52 Yoric has joined #ocaml

09:56 Yoric has quit [Ping timeout: 246 seconds]

10:00 _andre has joined #ocaml

10:02 Neros_ has quit [Ping timeout: 245 seconds]

10:53 Vinnipeg has quit [Quit: Leaving.]

10:54 Vinnipeg has joined #ocaml

10:54 Vinnipeg has quit [Client Quit]

11:09 Neros has joined #ocaml

11:12 Neros has quit [Client Quit]

11:13 Neros has joined #ocaml

11:27 Neros_ has joined #ocaml

11:28 Neros has quit [Ping timeout: 260 seconds]

11:39 Neros has joined #ocaml

11:40 Neros_ has quit [Ping timeout: 255 seconds]

11:45 sivoais has joined #ocaml

11:49 Neros_ has joined #ocaml

11:50 Neros has quit [Ping timeout: 260 seconds]

11:54 UncleVasya has joined #ocaml

12:43 answer_42 has quit [Ping timeout: 276 seconds]

12:45 UncleVasya has quit [Quit: UncleVasya]

13:06 gnuvince has quit [Ping timeout: 245 seconds]

13:07 Neros_ has quit [Ping timeout: 260 seconds]

13:10 chambart has joined #ocaml

13:14 abasdfasdfasdf has joined #ocaml

13:14 abasdfasdfasdf has quit [Client Quit]

13:19 <hcarty> pippijn: What error do you get with your pastebin'd code?

13:20 <hcarty> pippijn: It works on 4.00.1 (where works = I can paste it into the toplevel without getting type errors)

13:22 answer_42 has joined #ocaml

13:40 Neros has joined #ocaml

13:55 tbrady has joined #ocaml

13:55 <pippijn> hcarty: add a .mli with val get : variant_kind -> 'semantic variants -> (variant_kind, 'semantic) variant

13:55 <pippijn> it won't fit in

13:55 <pippijn> wait, that will

13:55 <pippijn> change variant_kind for 'variant

13:57 <pippijn> but of course it can't work

13:57 <pippijn> because 'variant could be int

13:59 <pippijn> or anything

14:01 smondet has joined #ocaml

14:08 chambart has quit [Read error: Connection reset by peer]

14:09 Guest46294 is now known as patronus

14:09 patronus is now known as Guest19575

14:11 chambart has joined #ocaml

14:12 <hcarty> pippijn: Wouldn't that still work?

14:19 <pippijn> hcarty: I have a tuple of 3 variants

14:20 <pippijn> hcarty: I want to return one of them depending on which variant_kind is passed

14:20 <pippijn> hcarty: and I want the type to reflect that the returned variant is the requested one

14:20 <pippijn> hcarty: that requires dependent types

14:21 <mehdid> can't you acheive part of that using GADTs?

14:21 <pippijn> maybe

14:21 <pippijn> but I don't have GADTs yet

14:22 <mehdid> ok

14:24 Guest19575 is now known as patronus_

14:40 tane has joined #ocaml

14:47 gnuvince has joined #ocaml

14:51 ocp has joined #ocaml

14:52 tac has joined #ocaml

14:59 cdidd has quit [Remote host closed the connection]

15:11 jamii has joined #ocaml

15:19 pangoafk is now known as pango

15:29 Cyanure has joined #ocaml

15:31 cago has quit [Quit: Leaving.]

15:33 Neros_ has joined #ocaml

15:34 Neros has quit [Ping timeout: 244 seconds]

15:36 jamii has quit [Ping timeout: 244 seconds]

15:37 Neros has joined #ocaml

15:39 Neros_ has quit [Ping timeout: 248 seconds]

15:50 tac is now known as tac-tics

15:55 leoncamel has quit [Remote host closed the connection]

16:09 ker2x has quit [Quit: hop]

16:11 Submarine has joined #ocaml

16:11 Submarine has quit [Changing host]

16:11 Submarine has joined #ocaml

16:18 trotro has joined #ocaml

16:19 jamii has joined #ocaml

16:19 avsm has joined #ocaml

16:24 GnomeStoleMyBike has quit [Ping timeout: 265 seconds]

16:25 <pippijn> I would like ocamlc to warn if an "open" is useless

16:25 <thelema_> pippijn: it can.

16:25 <thelema_> as of 4.00

16:26 gnuvince has quit [Ping timeout: 255 seconds]

16:26 <thelema_> warning 33: Unused open statement.

16:26 <pippijn> nice

16:26 tbrady has quit [Quit: Leaving.]

16:33 tbrady has joined #ocaml

16:39 tani has joined #ocaml

16:42 gnuvince has joined #ocaml

16:43 tane has quit [Ping timeout: 264 seconds]

16:44 mcclurmc is now known as mcclurmc_away

16:51 chambart has quit [Read error: Operation timed out]

16:56 Yoric has joined #ocaml

16:59 tbrady has quit [Quit: Leaving.]

17:01 tbrady has joined #ocaml

17:07 fraggle_laptop has quit [Remote host closed the connection]

17:15 xavierm02 has joined #ocaml

17:28 GnomeStoleMyBike has joined #ocaml

17:41 sepp2k has quit [Read error: Connection reset by peer]

17:42 sepp2k has joined #ocaml

17:46 arneis has joined #ocaml

17:56 ocp has quit [Quit: Leaving.]

18:00 tbrady has quit [Quit: Leaving.]

18:02 tbrady has joined #ocaml

18:02 <_habnabit> is BatRandom automatically seeded?

18:02 <_habnabit> oh, yes, it is

18:02 smondet has quit [Ping timeout: 245 seconds]

18:03 <thelema_> If you want a manual seed, there's a submodule for that (iirc)

18:03 <_habnabit> yeah, BatRandom.State

18:03 <_habnabit> looks like I'll have to use that

18:07 answer_42 has quit [Ping timeout: 276 seconds]

18:11 answer_42 has joined #ocaml

18:21 metadave has quit [Remote host closed the connection]

18:35 tani has quit [Remote host closed the connection]

18:37 Neros has quit [Remote host closed the connection]

18:37 Neros has joined #ocaml

18:38 Neros has quit [Read error: Connection reset by peer]

18:39 Neros has joined #ocaml

18:39 Neros has quit [Read error: Connection reset by peer]

18:39 Neros has joined #ocaml

19:04 ontologiae has quit [Ping timeout: 260 seconds]

19:13 _andre has quit [Quit: leaving]

19:15 emmanuelux has joined #ocaml

19:16 mnabil has joined #ocaml

19:18 BiDOrD_ has joined #ocaml

19:19 tane has joined #ocaml

19:20 BiDOrD has quit [Ping timeout: 244 seconds]

19:22 gnuvince has quit [Ping timeout: 260 seconds]

19:31 jave has quit [Read error: Connection reset by peer]

19:35 ulfdoz has joined #ocaml

19:37 jave has joined #ocaml

19:40 ChristianS has left #ocaml []

19:41 ulfdoz has quit [Remote host closed the connection]

19:48 ulfdoz has joined #ocaml

20:08 jamii has quit [Ping timeout: 268 seconds]

20:27 gnuvince has joined #ocaml

20:34 ulfdoz has quit [Ping timeout: 260 seconds]

20:34 avsm has quit [Quit: Leaving.]

20:35 Xizor has quit [Remote host closed the connection]

20:36 ulfdoz has joined #ocaml

20:39 tbrady has quit [Quit: Leaving.]

20:40 <arneis> anyone using Typerex?

20:41 ulfdoz has quit [Ping timeout: 240 seconds]

20:47 tbrady has joined #ocaml

20:50 fusillia has joined #ocaml

20:54 Snark has quit [Quit: Quitte]

20:56 smondet has joined #ocaml

20:59 Jeaye has quit [Ping timeout: 276 seconds]

21:03 Jeaye has joined #ocaml

21:06 mnabil has quit [Ping timeout: 252 seconds]

21:10 answer_42 has quit [Ping timeout: 276 seconds]

21:21 Yoric has quit [Ping timeout: 245 seconds]

21:31 Submarine has quit [Read error: Operation timed out]

21:32 Submarine has joined #ocaml

21:32 Submarine has quit [Changing host]

21:32 Submarine has joined #ocaml

21:38 Submarine has quit [Remote host closed the connection]

21:41 enzo has joined #ocaml

21:42 enzo has quit [Remote host closed the connection]

21:46 mathieui has quit [Quit: server reboot]

21:54 Yoric has joined #ocaml

22:01 mathieui has joined #ocaml

22:09 xaimus has quit [Quit: Lost terminal]

22:09 xaimus has joined #ocaml

22:16 ftrvxmtrx has quit [Quit: Leaving]

22:22 tufisi has quit [Ping timeout: 252 seconds]

22:23 smondet has quit [Ping timeout: 255 seconds]

22:28 mjonsson has joined #ocaml

22:29 sepp2k has quit [Remote host closed the connection]

22:30 gnuvince has quit [Ping timeout: 268 seconds]

22:31 avsm has joined #ocaml

22:36 emmanuelux has quit [Remote host closed the connection]

22:38 GnomeStoleMyBike has quit [Ping timeout: 260 seconds]

22:50 cdidd has joined #ocaml

22:50 arneis has quit [Ping timeout: 245 seconds]

22:53 Cyanure has quit [Ping timeout: 252 seconds]

22:53 djcoin has quit [Quit: WeeChat 0.3.9]

22:55 ansx_ has quit [Ping timeout: 256 seconds]

22:55 tbrady has quit [Quit: Leaving.]

22:58 tac-tics has quit []

22:59 Cyanure has joined #ocaml

23:01 ansx has joined #ocaml

23:10 ansx has quit [Ping timeout: 244 seconds]

23:11 fusillia has quit [Remote host closed the connection]

23:19 ansx has joined #ocaml

23:26 ansx_ has joined #ocaml

23:27 ansx has quit [Ping timeout: 252 seconds]

23:33 xavierm02 has quit [Quit: Leaving]

23:55 hcarty__ has joined #ocaml

23:55 hcarty__ has quit [Client Quit]