#ocaml on 2010-08-02 — irc logs at freenode.irclog.whitequark.org

2010-07-23 16:16 gildor changed the topic of #ocaml to: "Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0+rc1 http://permalink.gmane.org/gmane.comp.lang.caml.inria/49387

00:03 mjonsson has joined #ocaml

00:24 boscop has joined #ocaml

00:26 philtor has joined #ocaml

01:17 philtor has quit [Ping timeout: 276 seconds]

01:31 jakedouglas has joined #ocaml

01:40 drhodes has left #ocaml []

01:56 Edward has quit []

01:57 boscop has quit [Ping timeout: 265 seconds]

01:57 boscop has joined #ocaml

02:01 jakedouglas has quit [Quit: Leaving.]

02:09 jakedouglas has joined #ocaml

02:29 iratsu has joined #ocaml

02:35 Associat0r has quit [Quit: Associat0r]

02:40 emmanuelux has quit [Remote host closed the connection]

03:14 <boscop> I've heard the 'Practical Ocaml' book is badly written. can you recommend any other ocaml book?

03:18 metasyntax` has quit [Quit: Be seeing you.]

03:19 <boscop> wow, I found this one: http://www.cs.caltech.edu/courses/cs134/cs134b/book.pdf

03:35 coucou747 has joined #ocaml

03:59 gfym has joined #ocaml

04:00 <gfym> is there any way to implement clojure-style STM in ocaml?

04:03 waterChip has joined #ocaml

04:27 jakedouglas has quit [Quit: Leaving.]

05:09 Tianon|Away has joined #ocaml

05:09 Tianon has quit [Ping timeout: 252 seconds]

05:11 mjonsson has quit [Ping timeout: 276 seconds]

05:51 ygrek has joined #ocaml

06:07 ygrek has quit [Ping timeout: 245 seconds]

06:09 Associat0r has joined #ocaml

06:19 ttamttam has joined #ocaml

06:21 ygrek has joined #ocaml

06:22 kaustuv has joined #ocaml

06:23 <kaustuv> Does someone know of something like ERuby (http://en.wikipedia.org/wiki/ERuby) for OCaml?

06:29 ftrvxmtrx has quit [Ping timeout: 245 seconds]

06:44 chee has quit [Ping timeout: 265 seconds]

06:44 Amorphous has quit [Ping timeout: 265 seconds]

06:54 ygrek has quit [Ping timeout: 245 seconds]

06:55 <ttamttam> kaustuv: I think there is something similar, but I can't remember it's name

06:59 Amorphous has joined #ocaml

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

07:28 f[x] has joined #ocaml

07:31 mbishop has joined #ocaml

07:57 valross has quit [Quit: Ex-Chat]

07:57 rossberg has joined #ocaml

08:04 ftrvxmtrx has joined #ocaml

08:04 <gildor> kaustuv: something by Martin Jambon

08:06 xmarteo has joined #ocaml

08:06 <gildor> kaustuv: look at this maybe http://martin.jambon.free.fr/camlmix/index.html

08:08 <gildor> gfym: can you give us an example of "clojure-style STM"

08:18 <gildor> boscop: Jason Hickey book is the reference, good reading

08:26 Fandekasp has quit [Quit: bye bye]

08:35 gfym has quit [Quit: HydraIRC -> http://www.hydrairc.com <- Chicks dig it]

08:38 ygrek has joined #ocaml

08:50 waterChip has quit [Ping timeout: 276 seconds]

08:54 waterChip_ has joined #ocaml

09:01 pikachuyann has joined #ocaml

09:14 Fandekasp has joined #ocaml

09:18 Edward has joined #ocaml

09:26 <kaustuv> gildor: thanks, it's close to what I was looking for but not exactly. It doesn't seem to allow things like <% for i = 1 to 5 do %> foo<%= i %> <% done %> --> foo1 foo2 foo3 foo4 foo5

09:27 <kaustuv> Anyway, it was easy enough to write my own:

09:27 <kaustuv> http://www.lix.polytechnique.fr/~kaustuv/tgen.ml

09:38 Fandekasp has quit [Remote host closed the connection]

09:53 ttamttam has left #ocaml []

09:53 ttamttam has joined #ocaml

10:00 <mfp> kaustuv: what license are you releasing it under?

10:00 <mfp> this could maybe go into batteries

10:04 ztfw has joined #ocaml

10:05 ztfw has quit [Remote host closed the connection]

10:05 ztfw has joined #ocaml

10:05 <kaustuv> mfp: 2 clause BSD. I'll make this clear in the file.

10:05 <mfp> thanks

10:25 xmarteo has quit [Quit: Debian GNU/Hurd is Good.]

10:32 ygrek has quit [Ping timeout: 245 seconds]

10:42 Vassia has joined #ocaml

10:43 Vassia has left #ocaml []

10:46 Vassia has joined #ocaml

10:48 oc13 has joined #ocaml

10:51 Vassia has quit [Ping timeout: 276 seconds]

11:18 _andre has joined #ocaml

11:26 Edward has quit []

11:34 iratsu has quit [Read error: Operation timed out]

11:38 iratsu has joined #ocaml

11:39 rossberg has quit [*.net *.split]

11:39 kaustuv has quit [*.net *.split]

11:39 fremo__ has quit [*.net *.split]

11:39 hcarty has quit [*.net *.split]

11:40 fremo__ has joined #ocaml

11:41 hcarty has joined #ocaml

11:41 rossberg has joined #ocaml

11:42 xmarteo has joined #ocaml

11:53 ygrek has joined #ocaml

11:55 ikaros has joined #ocaml

12:09 ikaros has quit [Ping timeout: 260 seconds]

12:24 barismetin has joined #ocaml

12:38 rossberg has quit [Quit: Leaving]

12:46 ygrek has quit [Ping timeout: 245 seconds]

12:47 Vassia has joined #ocaml

12:51 Vassia has quit [Ping timeout: 258 seconds]

12:56 despa has quit [Read error: Connection reset by peer]

12:57 despa has joined #ocaml

13:08 oc13 has quit [Ping timeout: 240 seconds]

13:09 kmicinski has joined #ocaml

13:14 rossberg has joined #ocaml

13:15 th5 has joined #ocaml

13:25 |marius| has joined #ocaml

13:31 kmicinski has quit [Quit: leaving]

13:43 jakedouglas has joined #ocaml

13:53 <boscop> as I understand it, ocaml has 1-level structural typing, i.e. the name of the type on which to dispatch doesn't matter, but the names + types of its members. is there a language that has multi-level strucctural typing so that only the types of the members matter, not their names? how useful would that be?

13:58 elehack has joined #ocaml

14:08 <hcarty> Hooray for an official 3.12.0

14:17 joewilliams_away is now known as joewilliams

14:28 <mfp> yay http://www.reddit.com/r/programming/comments/cwfi5/objective_caml_release_3120_firstclass_modules/

14:28 <gildor> Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp

14:28 gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp

14:30 waterChip_ has quit [Quit: waterChip_]

14:30 <thelema> boscop: I think that ocaml isn't 1-level. Some things (objects, tuples, etc.) are structurally typed, while others (Variants, records) are nominally typed. Doesn't matter the "level"

14:43 xcthulhu has quit [Quit: Ex-Chat]

14:47 Vassia has joined #ocaml

14:50 ccasin has joined #ocaml

14:52 Vassia has quit [Ping timeout: 276 seconds]

14:52 valross has joined #ocaml

15:03 valross has quit [Quit: Ex-Chat]

15:15 oc13 has joined #ocaml

15:20 hargettp has joined #ocaml

15:20 hargettp has left #ocaml []

15:22 barismetin has quit [Remote host closed the connection]

15:33 ftrvxmtrx has quit [Quit: Leaving]

15:49 ygrek has joined #ocaml

15:59 |marius| has quit [Remote host closed the connection]

16:08 philtor has joined #ocaml

16:14 ikaros has joined #ocaml

16:23 Associat0r has quit [Quit: Associat0r]

16:42 ttamttam has quit [Remote host closed the connection]

16:45 jonafan_ is now known as jonafan

16:47 Vassia has joined #ocaml

16:49 metasyntax has quit [Quit: reboot time]

16:52 Vassia has quit [Ping timeout: 276 seconds]

16:59 |marius| has joined #ocaml

17:02 chee has joined #ocaml

17:03 sepp2k has joined #ocaml

17:16 ikaros has quit [Quit: Leave the magic to Houdini]

17:27 ulfdoz has joined #ocaml

17:28 philtor has quit [Ping timeout: 246 seconds]

17:30 ygrek has quit [Ping timeout: 245 seconds]

17:38 metasyntax has joined #ocaml

17:42 thieusoai has joined #ocaml

17:44 ttamttam has joined #ocaml

18:31 andreh has joined #ocaml

18:35 andreh has quit [Quit: andreh]

18:48 Vassia has joined #ocaml

18:52 Vassia has quit [Ping timeout: 246 seconds]

19:00 waterChip has joined #ocaml

19:06 ftrvxmtrx has joined #ocaml

19:07 iratsu has quit [Ping timeout: 240 seconds]

19:11 iratsu has joined #ocaml

19:29 oc13 has quit [Ping timeout: 276 seconds]

19:31 psnively has joined #ocaml

19:31 psnively has left #ocaml []

19:34 slash__ has joined #ocaml

19:50 Tianon|Away has left #ocaml []

19:53 Tianon has joined #ocaml

19:53 Tianon has quit [Changing host]

19:53 Tianon has joined #ocaml

19:55 metasyntax has quit [Remote host closed the connection]

20:12 waterChip has left #ocaml []

20:16 ttamttam has quit [Remote host closed the connection]

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

20:33 _andre has quit [Quit: leaving]

20:36 |marius| has quit [Remote host closed the connection]

20:40 Edward has joined #ocaml

20:46 Associat0r has joined #ocaml

20:47 sepp2k has quit [Quit: Leaving.]

20:48 Vassia has joined #ocaml

20:48 <pikachuyann> bonne nuit / good night

20:49 Associat0r has quit [Client Quit]

20:51 pikachuyann has quit [Quit: Quitte]

20:53 Vassia has quit [Ping timeout: 258 seconds]

20:55 slash__ has quit [Quit: Lost terminal]

20:58 chee has quit [Ping timeout: 265 seconds]

21:03 <boscop> what are the main differences between Ocaml and F#?

21:05 <bitbckt> boscop: http://stackoverflow.com/questions/179492/f-and-ocaml

21:05 <bitbckt> Good place to start, I think.

21:07 <boscop> thanks :)

21:07 <bitbckt> You're welcome.

21:08 <boscop> bitbckt, would you recommend learning OCaml first, or F#?

21:10 <bitbckt> boscop: I'm just now fiddling with F#, so I'm not really prepared to answer.

21:11 <bitbckt> They are syntactically so similar, it probably doesn't matter which comes first.

21:11 <boscop> syntax doesn't matter as much as semantics ;)

21:12 <bitbckt> That's a whole other issue. .NET is a different beast.

21:27 <emias> .oO( http://www.haskell.org/haskellwiki/Wadlers_Law )

21:28 chee has joined #ocaml

21:28 ccasin has quit [Quit: Leaving]

21:36 oc13 has joined #ocaml

22:03 carm has joined #ocaml

22:04 cthuluh has quit [Read error: Operation timed out]

22:05 metasyntax has joined #ocaml

22:06 cthuluh has joined #ocaml

22:09 cthuluh has quit [Client Quit]

22:09 cthuluh has joined #ocaml

22:28 oc13 has quit [Ping timeout: 240 seconds]

22:36 chee has quit [Ping timeout: 276 seconds]

22:39 ztfw has quit [Remote host closed the connection]

22:39 ztfw` has joined #ocaml

22:55 xmarteo has quit [Quit: Debian GNU/Hurd is Good.]

22:57 thieusoai has quit [Quit: Leaving]

23:01 philtor has joined #ocaml

23:35 coucou747 has quit [Remote host closed the connection]

23:43 valross has joined #ocaml

23:49 philtor has quit [Ping timeout: 260 seconds]

23:58 jonafan has quit [Quit: Leaving]