#ocaml on 2007-08-09 — irc logs at freenode.irclog.whitequark.org

2007-05-23 19:57 mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)

00:07 thermoplyae has joined #ocaml

00:27 pantsd has quit [Read error: 110 (Connection timed out)]

00:49 buluca has quit [Read error: 113 (No route to host)]

00:59 pantsd has joined #ocaml

01:27 buluca has joined #ocaml

01:28 thermoplyae has quit [Remote closed the connection]

01:40 pantsd has quit [Read error: 110 (Connection timed out)]

01:43 kelaouchi has quit [Read error: 110 (Connection timed out)]

02:05 junis has quit [Read error: 110 (Connection timed out)]

02:26 screwt8 has quit [Remote closed the connection]

02:31 screwt8 has joined #ocaml

02:51 seafoodX has joined #ocaml

03:04 seafoodX_ has joined #ocaml

03:04 david_koontz has quit ["Leaving"]

03:21 seafoodX has quit [Read error: 110 (Connection timed out)]

03:27 seafoodX has joined #ocaml

03:32 seafoodX_ has quit [Read error: 110 (Connection timed out)]

03:48 <seafoodX> How would you write your own printf variant?

03:48 <seafoodX> I'd like to write something like this: fun format -> if debug then Printf.printf format

03:49 <seafoodX> But that is not "polymorphic" enough.

03:49 <seafoodX> (I use quotes because what I really mean is, it doesn't accept varying number of arguments.)

03:49 <seafoodX> I have no idea how printf works in OCaml

03:50 <mbishop> Hmm

03:50 <mbishop> well, you could always look in the source :)

03:53 <seafoodX> I suspect the real magic is in the compiler.

03:55 <seafoodX> There's something strange about the type of printf though, don't you think?

03:56 <seafoodX> The number of arguments depends on the first argument to it.

03:56 <seafoodX> And that's pretty weird in such a strongly typed language.

03:57 buluca has quit [Read error: 113 (No route to host)]

04:15 flux-_ has joined #ocaml

04:19 flux-_ is now known as flux

04:36 <Smerdyakov> Printf support is built into the language.

04:36 <Smerdyakov> Try to use the Printf module to implement your own gizmo. Then look at the inferred type. :)

05:03 Smerdyakov has quit ["Leaving"]

05:23 goalieca has joined #ocaml

05:35 ramkrsna has quit [Read error: 113 (No route to host)]

05:51 goalieca has left #ocaml []

07:24 seafoodX has quit [Read error: 104 (Connection reset by peer)]

07:26 seafoodX has joined #ocaml

08:06 smimou has joined #ocaml

08:11 smimram has quit [Read error: 110 (Connection timed out)]

08:19 l_a_m has joined #ocaml

08:27 seafoodX has quit []

08:59 Mr_Awesome has quit ["time to impregnate a moth"]

09:37 smimou has quit ["bli"]

10:19 Demitar has quit [Read error: 110 (Connection timed out)]

10:27 slipstream-- has quit [Remote closed the connection]

10:28 slipstream has joined #ocaml

10:30 seafoodX has joined #ocaml

10:54 m3ga has joined #ocaml

11:06 ramkrsna has joined #ocaml

11:17 _blackdog has joined #ocaml

11:20 _blackdog has left #ocaml []

11:20 pantsd has joined #ocaml

11:29 pango has quit [Remote closed the connection]

11:31 pango has joined #ocaml

11:48 buluca has joined #ocaml

12:08 m3ga has quit ["disappearing into the sunset"]

12:39 ramkrsna_ has joined #ocaml

12:41 Demitar has joined #ocaml

12:54 ramkrsna has quit [Read error: 110 (Connection timed out)]

13:08 bluestorm_ has joined #ocaml

13:18 tty56 has joined #ocaml

13:55 seafoodX has quit []

14:22 seafoodX has joined #ocaml

14:28 seafoodX has quit []

14:31 bluestorm_ has quit ["Konversation terminated!"]

14:41 slipstream-- has joined #ocaml

14:52 arcatan has joined #ocaml

14:53 slipstream has quit [Read error: 110 (Connection timed out)]

15:09 pango has quit [Remote closed the connection]

15:25 Demitar has quit [Connection timed out]

15:27 pango has joined #ocaml

15:32 Demitar has joined #ocaml

15:36 diakopter has joined #ocaml

15:57 piggybox has joined #ocaml

16:00 Sparkles has joined #ocaml

16:11 smimou has joined #ocaml

17:14 Demitar has quit [Read error: 110 (Connection timed out)]

17:15 thesoko has quit [Remote closed the connection]

17:16 thesoko has joined #ocaml

17:39 thesoko has quit [Remote closed the connection]

17:39 buluca has quit [No route to host]

17:40 thesoko has joined #ocaml

17:46 Smerdyakov has joined #ocaml

17:48 kelaouchi has joined #ocaml

18:01 david_koontz has joined #ocaml

18:02 Demitar has joined #ocaml

19:02 thesoko has quit [Remote closed the connection]

19:04 thesoko has joined #ocaml

19:14 TFK has joined #ocaml

20:06 Mr_Awesome has joined #ocaml

20:19 pantsd has quit [Read error: 104 (Connection reset by peer)]

20:19 pantsd has joined #ocaml

20:21 pantsd has quit [Remote closed the connection]

21:11 junis has joined #ocaml

21:38 pantsd has joined #ocaml

21:59 buluca has joined #ocaml

22:26 <junis> has anyone used ocamlduce...

22:28 crathman has joined #ocaml

22:40 piggybox has quit [Read error: 110 (Connection timed out)]

22:43 screwt8 has quit [Read error: 104 (Connection reset by peer)]

22:52 kelaouchi has quit [Client Quit]

22:56 l_a_m has quit [Remote closed the connection]

22:56 junis has quit []

23:20 crathman has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.6/2007072518]"]

23:32 piggybox has joined #ocaml