#ocaml on 2012-06-23 — irc logs at freenode.irclog.whitequark.org

2011-07-12 19:41 gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH

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

00:37 ulfdoz has quit [Read error: Operation timed out]

00:41 ulfdoz has joined #ocaml

02:02 ski_ is now known as ski

02:10 sgnb has quit [Read error: Connection reset by peer]

02:10 sgnb has joined #ocaml

02:28 hongboz has joined #ocaml

02:34 sgnb has quit [Ping timeout: 240 seconds]

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

02:37 BiDOrD_ has joined #ocaml

02:39 BiDOrD has quit [Ping timeout: 272 seconds]

02:47 mjonsson has joined #ocaml

02:56 fraggle_ has quit [Remote host closed the connection]

03:01 fraggle_ has joined #ocaml

03:59 jknick has quit [Ping timeout: 272 seconds]

04:00 jknick has joined #ocaml

04:18 ftrvxmtrx has quit [Quit: Leaving]

04:21 tac-tics[home] has quit [Ping timeout: 260 seconds]

04:52 mjonsson has quit [Quit: Leaving]

05:10 Hussaind has joined #ocaml

05:10 Hussaind has left #ocaml []

05:24 hongboz has quit [Remote host closed the connection]

05:29 bobzhang has quit [Ping timeout: 248 seconds]

06:01 osa1 has joined #ocaml

07:06 ankit9 has joined #ocaml

07:13 tac-tics[home] has joined #ocaml

07:25 sivoais has quit [Ping timeout: 244 seconds]

07:29 alpounet has joined #ocaml

07:33 sivoais has joined #ocaml

07:47 edwin has joined #ocaml

07:53 ankit9 has quit [Read error: Connection reset by peer]

08:05 sgnb has joined #ocaml

08:09 ankit9 has joined #ocaml

08:20 Cyanure has joined #ocaml

08:32 mfp has quit [Read error: Connection reset by peer]

08:40 mfp has joined #ocaml

09:01 ronnie` has joined #ocaml

09:05 tac-tics[home] has quit [Read error: Connection reset by peer]

09:06 avsm has joined #ocaml

09:06 avsm has quit [Client Quit]

09:08 avsm has joined #ocaml

09:47 osa1 has quit [Ping timeout: 260 seconds]

09:48 tmaedaZ has quit [Ping timeout: 244 seconds]

09:54 tmaedaZ has joined #ocaml

10:01 ankit9 has quit [Ping timeout: 260 seconds]

10:07 Cyanure has quit [Ping timeout: 252 seconds]

10:08 oriba has joined #ocaml

10:14 ankit9 has joined #ocaml

10:27 ulfdoz has quit [Remote host closed the connection]

10:27 ulfdoz has joined #ocaml

10:29 Cyanure has joined #ocaml

10:53 ulfdoz has quit [Ping timeout: 252 seconds]

11:06 oriba has quit [Quit: oriba]

11:10 Snark has joined #ocaml

11:36 ankit9 has quit [Ping timeout: 272 seconds]

11:36 Yoric has joined #ocaml

11:43 milosn_ has joined #ocaml

11:44 ulfdoz has joined #ocaml

11:44 Cyanure has quit [Ping timeout: 264 seconds]

11:45 milosn has quit [Ping timeout: 252 seconds]

11:59 Cyanure has joined #ocaml

12:07 ulfdoz has quit [Quit: deprecated]

12:08 tmaedaZ has quit [Ping timeout: 245 seconds]

12:11 ulfdoz has joined #ocaml

12:14 tmaedaZ has joined #ocaml

12:19 osa1 has joined #ocaml

12:19 osa1 has quit [Client Quit]

12:24 pheredhel has quit [Ping timeout: 246 seconds]

12:25 pheredhel has joined #ocaml

12:29 Submarine has joined #ocaml

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

12:33 Submarine has quit [Client Quit]

12:38 avsm has joined #ocaml

12:44 Submarine has joined #ocaml

12:48 mfp has quit [Read error: Connection reset by peer]

13:03 mfp has joined #ocaml

13:06 Sablier has joined #ocaml

13:07 avsm has quit [Quit: Leaving.]

13:16 milosn_ is now known as milosn

13:26 Submarine has quit [Ping timeout: 250 seconds]

13:26 sepp2k has quit [Remote host closed the connection]

14:21 hongboz has joined #ocaml

14:23 <hongboz> anyone knows is it possible to reuse some monadic code? Given the first class module, I found it is still impossible to share the code between Monad and MonadState?

14:23 <orbitz> hongboz: Not sure I follow, I juse use pa_monad

14:23 <hongboz> orbitz: that's syntax problem, not my problem

14:24 <hongboz> I mean you write the code for Monad, and you can use it for free when writing MonadState

14:26 <hongboz> http://pastebin.com/r6E8t6nT you can have a look at what I mean

14:26 <orbitz> hongboz: please use a pastebin that understand ocaml, like ideone

14:27 <hongboz> orbitz: thanks

14:35 osa1 has joined #ocaml

14:36 lewis1711 has joined #ocaml

14:39 struktured has joined #ocaml

14:55 lewis1711 has quit [Quit: Leaving.]

14:55 lewis1711 has joined #ocaml

15:09 lewis1711 has left #ocaml []

15:16 Sablier has quit [Ping timeout: 264 seconds]

15:28 Submarine has joined #ocaml

15:33 Submarine has quit [Ping timeout: 245 seconds]

15:35 Yoric has quit [Ping timeout: 264 seconds]

15:36 Sablier has joined #ocaml

15:41 osa1 has quit [Ping timeout: 260 seconds]

16:04 struktured has quit [Ping timeout: 260 seconds]

16:31 osa1 has joined #ocaml

16:33 netrino has joined #ocaml

17:13 pheredhel has quit [Ping timeout: 252 seconds]

17:14 tactics_[home] has joined #ocaml

17:15 pheredhel has joined #ocaml

17:39 ftrvxmtrx has joined #ocaml

17:47 struktured has joined #ocaml

17:56 wreckimnaked has joined #ocaml

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

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

18:54 osa1 has quit [Ping timeout: 260 seconds]

19:14 wreckimnaked has quit [Quit: WeeChat 0.3.8]

19:24 Cyanure has joined #ocaml

19:32 Snark has quit [Quit: Quitte]

20:23 gnuvince has joined #ocaml

20:39 chris_st has joined #ocaml

20:50 <chris_st> Sorry to be a noob -- but how can I declare a virtual class method that takes more than one argument?

20:50 edwin has left #ocaml []

20:53 <mrvn> oehm, you just do

20:56 <chris_st> Well, thanks (I think :-) ) but maybe you could take a look at this http://pastie.org/4139547 and tell me what I'm doing wrong...

20:56 Cyanure has quit [Remote host closed the connection]

20:57 <mrvn> chris_st: # let f x y = x + y;;

20:57 <mrvn> val f : int -> int -> int = <fun>

20:58 <mrvn> Why do you think a method with 2 arguments would be int int -> int?

20:58 <Qrntz> unfamiliarity with curried notation?

20:59 <mrvn> uncurried it would be int * int -> int and be a function taking a int tuple, one argument only.

20:59 <chris_st> My apologies, I wasn't thinking of types... now that you spell it out it's perfectly clear. Thanks much!

21:00 chris_st has quit [Quit: chris_st]

22:06 rgrinberg has quit [Ping timeout: 255 seconds]

22:07 rgrinberg has joined #ocaml

22:55 ronnie` has quit [Remote host closed the connection]

23:21 avsm has joined #ocaml

23:41 rgrinberg has quit [Ping timeout: 252 seconds]

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