#ocaml on 2013-12-24 — irc logs at freenode.irclog.whitequark.org

2013-09-12 14:13 flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.01.0 http://bit.ly/1851A3R | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/

00:03 csakatoku has joined #ocaml

00:09 sheijk_ has joined #ocaml

00:11 pango has quit [Ping timeout: 252 seconds]

00:11 tlockney has joined #ocaml

00:11 tlockney has quit [Excess Flood]

00:11 tlockney has joined #ocaml

00:12 tlockney has left #ocaml []

00:12 sheijk has quit [Ping timeout: 246 seconds]

00:12 tlockney has joined #ocaml

00:12 tlockney has quit [Excess Flood]

00:12 tlockney has joined #ocaml

00:14 ygrek has quit [Ping timeout: 240 seconds]

00:14 tlockney has left #ocaml []

00:15 michael_lee has joined #ocaml

00:18 NoNNaN has joined #ocaml

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

00:26 sheijk_ has quit [Ping timeout: 240 seconds]

00:27 groovy2shoes has joined #ocaml

00:27 avsm has joined #ocaml

00:28 zpe has joined #ocaml

00:28 sheijk has joined #ocaml

00:29 ygrek has joined #ocaml

00:31 avsm has quit [Ping timeout: 240 seconds]

00:32 zpe has quit [Ping timeout: 272 seconds]

00:46 nikki93 has quit [Remote host closed the connection]

00:47 k4nar has quit [Remote host closed the connection]

00:59 k4nar has joined #ocaml

01:03 k4nar_ has joined #ocaml

01:08 k4nar has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

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

01:10 k4nar_ has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

01:10 k4nar has joined #ocaml

01:12 qingant has joined #ocaml

01:20 palomer has joined #ocaml

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

01:28 k4nar has quit [Remote host closed the connection]

01:28 k4nar_ has joined #ocaml

01:28 zpe has joined #ocaml

01:28 avsm has joined #ocaml

01:30 k4nar_ has quit [Remote host closed the connection]

01:30 k4nar has joined #ocaml

01:30 CamelFodder has quit [Read error: Connection reset by peer]

01:31 cesar_ has joined #ocaml

01:31 cesar_ is now known as Guest74206

01:32 qingant has joined #ocaml

01:32 zpe has quit [Ping timeout: 240 seconds]

01:35 avsm has quit [Ping timeout: 272 seconds]

01:35 sheijk has quit [Quit: .]

01:51 boogie has joined #ocaml

01:51 qingant has quit [Quit: Leaving.]

01:53 talzeus_ has joined #ocaml

01:55 MigX has quit [Ping timeout: 260 seconds]

01:55 MigX has joined #ocaml

01:58 qingant has joined #ocaml

02:22 palomer has quit [Ping timeout: 246 seconds]

02:28 zpe has joined #ocaml

02:30 avsm has joined #ocaml

02:33 zpe has quit [Ping timeout: 260 seconds]

02:33 boogie has quit [Remote host closed the connection]

02:34 Guest74206 has quit [Remote host closed the connection]

02:35 csakatoku has quit [Remote host closed the connection]

02:35 avsm has quit [Ping timeout: 272 seconds]

02:35 csakatoku has joined #ocaml

02:40 csakatok_ has joined #ocaml

02:44 csakatoku has quit [Ping timeout: 272 seconds]

02:53 <phix> lets ocaml

03:18 qingant has quit [Ping timeout: 272 seconds]

03:24 qingant has joined #ocaml

03:31 avsm has joined #ocaml

03:32 wolfnn has quit [Ping timeout: 252 seconds]

03:34 qingant has quit [Quit: Leaving.]

03:35 avsm has quit [Ping timeout: 246 seconds]

03:55 csakatok_ has quit [Remote host closed the connection]

04:00 groovy2shoes has quit [Quit: It is now safe to turn off your Groovebot.]

04:02 Xenasis has joined #ocaml

04:03 michael_lee has quit [Quit: Ex-Chat]

04:10 adrien has quit [Ping timeout: 252 seconds]

04:10 Asmadeus has quit [Ping timeout: 252 seconds]

04:12 osa1 has quit [Ping timeout: 240 seconds]

04:17 adrien has joined #ocaml

04:17 Asmadeus has joined #ocaml

04:22 cesar_ has joined #ocaml

04:23 cesar_ is now known as Guest51445

04:24 csakatoku has joined #ocaml

04:30 zpe has joined #ocaml

04:30 avsm has joined #ocaml

04:34 zpe has quit [Ping timeout: 252 seconds]

04:35 avsm has quit [Ping timeout: 272 seconds]

04:35 mcclurmc_ has quit [Remote host closed the connection]

04:41 yacks has quit [Quit: Leaving]

04:45 ygrek has quit [Ping timeout: 246 seconds]

04:46 Xenasis has quit [Remote host closed the connection]

04:47 introom has joined #ocaml

05:14 boogie has joined #ocaml

05:21 ygrek has joined #ocaml

05:24 dant3 has joined #ocaml

05:30 avsm has joined #ocaml

05:35 avsm has quit [Ping timeout: 264 seconds]

05:42 Guest51445 has quit [Remote host closed the connection]

06:02 csakatok_ has joined #ocaml

06:05 csakatoku has quit [Ping timeout: 264 seconds]

06:17 Kakadu has joined #ocaml

06:28 introom has quit [Ping timeout: 272 seconds]

06:30 avsm has joined #ocaml

06:31 zpe has joined #ocaml

06:32 dant3 has quit [Remote host closed the connection]

06:34 avsm has quit [Ping timeout: 248 seconds]

06:36 boogie has quit [Remote host closed the connection]

06:40 cdidd has quit [Ping timeout: 245 seconds]

06:45 * Kakadu is reading article about Scala DSL for defining html forms

06:46 * Kakadu doesn't understand why all this shit is introduced. Why not eliom's approach without any DSL?

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

06:47 mort___ has joined #ocaml

06:51 dant3 has joined #ocaml

07:10 Simn has joined #ocaml

07:14 mateNz has joined #ocaml

07:19 mateNz has quit [Remote host closed the connection]

07:30 avsm has joined #ocaml

07:34 avsm has quit [Ping timeout: 240 seconds]

07:36 ttamttam has joined #ocaml

07:39 csakatok_ has quit [Remote host closed the connection]

07:39 csakatoku has joined #ocaml

07:43 zpe has joined #ocaml

07:44 csakatoku has quit [Ping timeout: 246 seconds]

07:50 pango has joined #ocaml

07:51 ttamttam has quit [Quit: ttamttam]

07:52 csakatoku has joined #ocaml

07:55 pango has quit [Ping timeout: 248 seconds]

07:55 pango has joined #ocaml

07:56 dant3 has quit [Remote host closed the connection]

07:57 AltGr has joined #ocaml

07:57 Arsenik has joined #ocaml

07:59 ollehar has quit [Quit: ollehar]

08:00 zpe has quit [Ping timeout: 248 seconds]

08:13 ulfdoz has joined #ocaml

08:24 dant3 has joined #ocaml

08:29 avsm has joined #ocaml

08:33 avsm1 has joined #ocaml

08:34 avsm1 has quit [Client Quit]

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

08:41 pminten has joined #ocaml

08:44 Kakadu_ has joined #ocaml

10:57 clog has joined #ocaml

10:58 zpe has quit [Ping timeout: 240 seconds]

10:58 <orbitz> oriba: http://www.lshift.net/blog/2010/12/22/conditional-statements-the-lambda-calculus-and-earlylate-binding possibly

10:59 <oriba> orbitz, thanks.

11:01 avsm has quit [Quit: Leaving.]

11:01 rand000 has joined #ocaml

11:03 dant3 has joined #ocaml

11:08 kyrylo has joined #ocaml

11:08 abc has joined #ocaml

11:12 ocp has joined #ocaml

11:16 nikki93 has quit [Remote host closed the connection]

11:16 nikki93 has joined #ocaml

11:19 ggole has joined #ocaml

11:20 nikki93 has quit [Ping timeout: 240 seconds]

11:26 wolfnn has joined #ocaml

11:28 kyrylo has quit [Ping timeout: 248 seconds]

11:30 angerman has quit [Quit: Gone]

11:41 darkf has quit [Quit: Leaving]

11:44 qingant has joined #ocaml

11:48 lasts_ has quit [Ping timeout: 246 seconds]

11:54 talzeus_ has joined #ocaml

11:54 talzeus_ has quit [Read error: Connection reset by peer]

11:55 talzeus__ has joined #ocaml

11:55 nikki93 has joined #ocaml

11:55 nikki93 has quit [Remote host closed the connection]

11:55 osa1 has joined #ocaml

12:01 lasts has joined #ocaml

12:14 testcocoon has quit [Quit: Coyote finally caught me]

12:14 mcclurmc has joined #ocaml

12:15 mort___ has joined #ocaml

12:17 abc has quit [Quit: Page closed]

12:18 qingant has quit [Quit: Leaving.]

12:19 testcocoon has joined #ocaml

12:21 nikki93 has joined #ocaml

12:22 yacks has joined #ocaml

12:24 dant3 has quit [Remote host closed the connection]

12:28 pminten has quit [Remote host closed the connection]

12:32 mort___ has quit [Quit: Leaving.]

12:38 Simn has quit [Read error: Connection reset by peer]

12:39 Simn has joined #ocaml

12:39 dant3 has joined #ocaml

12:42 <gasche_> orbitz: I'm reading your blog post

12:43 <gasche_> a trick if you have too many type parameters, which you may be interested in, is to use object-types as type-level records

12:44 <gasche_> type 'a server = ... constraint 'a = < init : 'i; state : 's; msg: 'm; errinit: 'ie; errhandle: 'ih >

12:45 <gasche_> it makes type more readables, but also much larger (which may hurt readability) and isn't supported very well by ocamldoc (which tends to inline anything)

12:46 <gasche_> so it's not perfect, but it's one design option

12:46 angerman has joined #ocaml

12:51 lasts has quit [Read error: Connection reset by peer]

12:51 lasts_ has joined #ocaml

12:52 avsm has joined #ocaml

12:54 dch has quit [Ping timeout: 246 seconds]

12:54 dch has joined #ocaml

12:56 rand000 has quit [Quit: leaving]

12:58 zarul has quit [Ping timeout: 252 seconds]

13:02 aggelos has joined #ocaml

13:03 ia0 has joined #ocaml

13:03 Qrntz_ has joined #ocaml

13:03 pango_ has joined #ocaml

13:04 zarul has joined #ocaml

13:04 Derander has joined #ocaml

13:04 yacks has quit [Ping timeout: 264 seconds]

13:04 rs0_ has joined #ocaml

13:08 nikki93_ has joined #ocaml

13:08 introom has joined #ocaml

13:09 angerman has quit [Read error: Connection reset by peer]

13:10 nikki93 has quit [Ping timeout: 272 seconds]

13:11 lasts_ has quit [*.net *.split]

13:11 Simn has quit [*.net *.split]

13:11 pango has quit [*.net *.split]

13:12 PM has quit [*.net *.split]

13:12 aggelos_ has quit [*.net *.split]

13:12 Qrntz has quit [*.net *.split]

13:12 ia0_ has quit [*.net *.split]

13:12 Derander_ has quit [*.net *.split]

13:12 rs0 has quit [*.net *.split]

13:12 brendan has quit [*.net *.split]

13:17 lasts_ has joined #ocaml

13:17 Simn has joined #ocaml

13:17 PM has joined #ocaml

13:17 brendan has joined #ocaml

13:19 chris2 has quit [Ping timeout: 240 seconds]

13:20 chris2 has joined #ocaml

13:22 mcclurmc has quit [Remote host closed the connection]

13:25 nikki93_ has quit [Read error: Connection timed out]

13:26 nikki93 has joined #ocaml

13:27 introom has quit [Ping timeout: 272 seconds]

13:38 nikki93 has quit [Ping timeout: 272 seconds]

13:44 pminten has joined #ocaml

13:46 pyon has quit [Quit: usa usa, pyon pyon... bye]

13:49 nikki93 has joined #ocaml

13:49 <orbitz> gasche_: ah thank you. So far the i've found teh type looks scary to see, but working with it isn't so bad, you hardly notice it except in some error messages

13:52 WraithM_ has joined #ocaml

13:59 yacks has joined #ocaml

14:00 WraithM has quit [Ping timeout: 252 seconds]

14:01 dant3 has quit [Remote host closed the connection]

14:06 ulfdoz has quit [Ping timeout: 240 seconds]

14:06 dant3 has joined #ocaml

14:09 oriba_ has joined #ocaml

14:12 oriba has quit [Ping timeout: 264 seconds]

14:13 mcclurmc has joined #ocaml

14:13 travisbrady has joined #ocaml

14:16 Xenasis has joined #ocaml

14:19 mcclurmc has quit [Remote host closed the connection]

14:19 mcclurmc has joined #ocaml

14:23 travisbrady has quit [Quit: travisbrady]

14:29 ulfdoz has joined #ocaml

14:35 zpe_ has quit [Ping timeout: 248 seconds]

14:47 oriba_ has quit [Quit: oriba_]

14:50 angerman has joined #ocaml

14:55 pango_ has quit [Ping timeout: 252 seconds]

14:57 Kakadu__ has quit [Quit: Page closed]

15:02 angerman has quit [Quit: Gone]

15:03 rwmjones has quit [Read error: Operation timed out]

15:04 rwmjones has joined #ocaml

15:07 pminten has quit [Remote host closed the connection]

15:08 pango_ has joined #ocaml

15:12 tobiasBora has joined #ocaml

15:13 cesar_ has joined #ocaml

15:13 cesar_ is now known as Guest67703

15:16 noplamodo_ has quit [Ping timeout: 245 seconds]

15:17 noplamodo has joined #ocaml

15:19 tobiasBora has quit [Ping timeout: 246 seconds]

15:24 jbrown has quit [Remote host closed the connection]

15:24 Simn has quit [Ping timeout: 246 seconds]

15:24 dant3 has quit [Remote host closed the connection]

15:28 ocp has quit [Quit: Leaving.]

15:40 pminten has joined #ocaml

15:42 smerz has joined #ocaml

15:51 Kakadu has joined #ocaml

15:57 kyrylo has joined #ocaml

15:57 Guest67703 has quit [Remote host closed the connection]

15:58 mort___ has joined #ocaml

15:58 avsm has quit [Quit: Leaving.]

15:58 boogie has joined #ocaml

16:01 avsm has joined #ocaml

16:02 talzeus__ has quit [Read error: Connection reset by peer]

16:05 avsm has quit [Ping timeout: 248 seconds]

16:07 angerman has joined #ocaml

16:23 malvarez has joined #ocaml

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

16:24 wwilly has joined #ocaml

16:28 nikki93_ has joined #ocaml

16:30 angerman has quit [Quit: Gone]

16:30 avsm has joined #ocaml

16:32 nikki93_ has quit [Ping timeout: 240 seconds]

16:32 boogie has quit [Remote host closed the connection]

16:41 avsm has quit [Ping timeout: 252 seconds]

16:52 cdidd has joined #ocaml

16:58 pminten has quit [Remote host closed the connection]

16:59 boogie has joined #ocaml

16:59 osa1 has quit [Remote host closed the connection]

16:59 osa1 has joined #ocaml

17:01 nikki93 has joined #ocaml

17:01 pango_ has quit [Ping timeout: 260 seconds]

17:07 ygrek has quit [Ping timeout: 240 seconds]

17:15 pango_ has joined #ocaml

17:15 tlockney has joined #ocaml

17:24 avsm has joined #ocaml

17:25 zpe has joined #ocaml

17:29 nikki93 has quit [Ping timeout: 272 seconds]

17:29 saml has quit [Quit: Leaving]

17:29 pango__ has joined #ocaml

17:29 pango__ is now known as pango

17:30 pango_ has quit [Ping timeout: 272 seconds]

17:30 qingant has joined #ocaml

17:32 mort___ has quit [Quit: Leaving.]

17:35 mcclurmc has quit [Ping timeout: 240 seconds]

17:36 skchrko has quit [Quit: Leaving]

17:36 mcclurmc has joined #ocaml

17:37 zpe has quit [Remote host closed the connection]

17:37 mcclurmc has quit [Remote host closed the connection]

17:41 qingant has quit [Quit: Leaving.]

17:47 WraithM_ has quit [Ping timeout: 248 seconds]

17:48 boogie has quit [Remote host closed the connection]

18:09 mcclurmc has joined #ocaml

18:10 snyp has joined #ocaml

18:12 mcclurmc has quit [Remote host closed the connection]

18:14 qingant has joined #ocaml

18:25 nikki93 has joined #ocaml

18:27 shinnya has joined #ocaml

18:29 cesar_ has joined #ocaml

18:29 cesar_ is now known as Guest23548

18:31 malvarez has quit [Remote host closed the connection]

18:31 tane has joined #ocaml

18:34 zpe has joined #ocaml

18:37 nikki93 has quit [Read error: Connection reset by peer]

18:37 nikki93 has joined #ocaml

18:40 snyp has quit [Quit: K Bye]

18:41 zpe has quit [Remote host closed the connection]

18:43 Guest23548 has quit [Remote host closed the connection]

18:51 Xenasis has quit [Remote host closed the connection]

18:52 Xenasis has joined #ocaml

18:54 nikki93 has quit [Read error: Connection timed out]

18:56 ggole has quit []

18:58 zpe has joined #ocaml

19:01 angerman has joined #ocaml

19:02 Xenasis has quit [Remote host closed the connection]

19:04 avsm has quit [Quit: Leaving.]

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

19:06 zpe has joined #ocaml

19:06 smerz has quit [Ping timeout: 246 seconds]

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

19:20 sillyotter has joined #ocaml

19:21 avsm has joined #ocaml

19:21 Eyyub has joined #ocaml

19:40 Kakadu has quit []

19:40 cesar_ has joined #ocaml

19:40 cesar_ is now known as Guest77287

19:44 Eyyub has quit [Ping timeout: 272 seconds]

19:47 Eyyub has joined #ocaml

19:48 Guest77287 has quit [Remote host closed the connection]

19:49 boogie has joined #ocaml

19:52 boogie has quit [Remote host closed the connection]

20:00 nikki93 has joined #ocaml

20:08 tlockney has quit [Excess Flood]

20:09 tlockney has joined #ocaml

20:11 sheijk has joined #ocaml

20:11 tlockney has left #ocaml []

20:11 kyrylo has quit [Read error: Connection reset by peer]

20:16 osa1 has quit [Ping timeout: 240 seconds]

20:19 tlockney has joined #ocaml

20:19 tlockney has quit [Excess Flood]

20:20 tlockney has joined #ocaml

20:21 qingant has quit [Quit: Leaving.]

20:22 sheijk has quit [Ping timeout: 264 seconds]

20:25 mcclurmc has joined #ocaml

20:25 tlockney has left #ocaml []

20:25 kyrylo has joined #ocaml

20:26 sheijk has joined #ocaml

20:29 nikki93 has quit [Ping timeout: 248 seconds]

20:37 kyrylo has quit [Quit: Don't give up! Tell ya neighbour, tell ya friend...]

20:38 kyrylo has joined #ocaml

20:39 sheijk has quit [Ping timeout: 246 seconds]

20:40 osa1 has joined #ocaml

20:40 osa1 has quit [Client Quit]

20:43 mcclurmc has quit [Remote host closed the connection]

20:48 Eyyub has quit [Ping timeout: 260 seconds]

20:51 Eyyub has joined #ocaml

21:02 smerz has joined #ocaml

21:02 smerz_ has joined #ocaml

21:11 osa1 has joined #ocaml

21:12 mcclurmc has joined #ocaml

21:15 osa1 has left #ocaml []

21:27 mcclurmc has quit [Remote host closed the connection]

21:38 nikki93 has joined #ocaml

21:43 avsm has quit [Quit: Leaving.]

21:50 Xenasis has joined #ocaml

21:54 sillyotter has quit [Quit: Leaving]

21:54 meiji11 has joined #ocaml

21:54 darkf has joined #ocaml

21:55 jbrown has joined #ocaml

21:59 nikki93 has quit [Ping timeout: 272 seconds]

22:01 avsm has joined #ocaml

22:09 ulfdoz has quit [Ping timeout: 260 seconds]

22:13 Xenasis has quit [Read error: Connection reset by peer]

22:14 Xenasis has joined #ocaml

22:16 meiji11 has quit [Remote host closed the connection]

22:16 tane has quit [Quit: Verlassend]

22:26 qingant has joined #ocaml

22:31 qingant has quit [Quit: Leaving.]

22:36 smerz has quit [Ping timeout: 252 seconds]

22:37 smerz_ has quit [Ping timeout: 264 seconds]

22:51 shinnya has quit [Ping timeout: 272 seconds]

22:56 nikki93 has joined #ocaml

22:58 AltGr has left #ocaml []

23:01 sheijk has joined #ocaml

23:06 nikki93 has quit [Ping timeout: 248 seconds]

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

23:21 tlockney has joined #ocaml

23:21 tlockney has quit [Excess Flood]

23:22 tlockney has joined #ocaml

23:23 mcclurmc has joined #ocaml

23:24 ygrek has joined #ocaml

23:33 wagle_ is now known as wagle

23:36 mcclurmc has quit [Remote host closed the connection]

23:39 robert_ has quit [Quit: Connection reset by traffic clause.]

23:39 madroach has quit [Ping timeout: 252 seconds]

23:41 madroach has joined #ocaml

23:45 NoNNaN has quit [Remote host closed the connection]

23:50 NoNNaN has joined #ocaml

23:54 mcclurmc has joined #ocaml

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

23:59 Arsenik has joined #ocaml