#ocaml on 2008-06-14 — irc logs at freenode.irclog.whitequark.org

2008-05-29 05:00 flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab OCaml 3.10.2 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)

00:26 LordMetroid has joined #ocaml

00:33 tomh has quit ["http://www.mibbit.com ajax IRC Client"]

01:04 LordMetroid has quit ["Leaving"]

01:05 seafood has joined #ocaml

01:22 Morphous has quit [Read error: 110 (Connection timed out)]

01:23 Morphous has joined #ocaml

01:29 Ched- has joined #ocaml

01:33 love-pingoo has quit ["Connection reset by pear"]

01:34 Associat0r has quit []

01:35 electronx has joined #ocaml

01:44 munga has quit ["Ex-Chat"]

01:44 Associat0r has joined #ocaml

01:46 struktured has quit [Read error: 110 (Connection timed out)]

01:54 electronx has quit ["Leaving"]

02:00 pango has quit [Remote closed the connection]

02:05 pango has joined #ocaml

02:08 seafood has quit []

02:09 seafood has joined #ocaml

02:11 struktured has joined #ocaml

02:14 palomer has joined #ocaml

02:14 <palomer> how is = defined on Pcre.regexp?

02:45 struktured has quit [Read error: 110 (Connection timed out)]

02:59 struktured has joined #ocaml

03:37 struktured has quit [Read error: 110 (Connection timed out)]

04:01 r0bby has joined #ocaml

04:20 AxleLonghorn has joined #ocaml

04:20 AxleLonghorn has left #ocaml []

04:40 Associat0r has quit []

05:08 prince has quit [Client Quit]

05:33 netx has quit [Read error: 104 (Connection reset by peer)]

05:45 netx has joined #ocaml

06:24 netx has quit [Read error: 110 (Connection timed out)]

06:29 netx has joined #ocaml

06:40 ygrek has joined #ocaml

07:11 comglz has joined #ocaml

07:17 comglz has quit ["AddToFunc ExitFunction I Exec exec sudo halt"]

07:18 comglz has joined #ocaml

07:20 bluestorm has quit ["Konversation terminated!"]

07:22 bluestorm has joined #ocaml

07:28 seafood has quit [Connection reset by peer]

07:28 seafood has joined #ocaml

07:32 ygrek has quit ["Leaving"]

07:37 vixey has left #ocaml []

07:37 vixey has joined #ocaml

07:37 <vixey> do you know where there are some descriptions of the Categorical Abstract Machine?

07:37 <vixey> (online)

07:38 <bluestorm> vixey: maybe http://citeseer.ist.psu.edu/leroy90zinc.html

07:39 <gildor_> vixey: i am not sure the CAM is still used inside OCaml

07:39 <bluestorm> hm

07:39 <bluestorm> and i'm not sure this paper describe the CAM

07:39 <gildor_> http://www.bogonomicon.com/bblog/ocaml-history.html

07:39 <bluestorm> ZINC may be a different design (not read it (yet))

07:39 <bluestorm> iirc there was a CAM paper, but it's ACM-protected

07:40 ygrek has joined #ocaml

07:40 <gildor_> CAM seems to have been removed in 1991

07:41 <vixey> mm this is nice

07:41 <vixey> I think INRIA are amazing

07:42 Jedai has joined #ocaml

07:43 <bluestorm> yes, ZINC is different from the CAM

07:43 <bluestorm> there is a CAM paper in the bibliography, but i couldn't access it online

07:44 comglz has quit ["Lost terminal"]

07:58 asmanur has joined #ocaml

08:00 Linktim has joined #ocaml

08:03 filp has joined #ocaml

08:05 Associat0r has joined #ocaml

08:06 Ched- has quit [Read error: 104 (Connection reset by peer)]

08:12 Linktim is now known as Linktimaw

08:29 vbmithr has joined #ocaml

08:49 <asmanur> does anyone know if guile-bindings are available for ocaml ?

08:53 kelaouchi has joined #ocaml

08:54 <bluestorm> asmanur: http://home.arcor.de/chr_bauer/schoca.html ?

08:54 <asmanur> duh

08:56 <asmanur> seems a bit dead, though.

09:00 Ched- has joined #ocaml

09:00 Ched- has quit [Read error: 104 (Connection reset by peer)]

09:49 Linktim_ has joined #ocaml

09:50 <tsuyoshi> there's another scheme implementation too

09:51 <tsuyoshi> forget the name but iirc it's more complete

09:51 <tsuyoshi> oh it was ocs

09:52 <tsuyoshi> http://will.iki.fi/software/ocs/

09:54 asmanur has quit [Remote closed the connection]

09:56 asmanur has joined #ocaml

10:01 Linktimaw has quit [Read error: 110 (Connection timed out)]

10:10 OChameau has quit [Read error: 113 (No route to host)]

10:12 Linktim- has joined #ocaml

10:12 Linktim- is now known as Linktimaw

10:25 Linktim_ has quit [Read error: 110 (Connection timed out)]

11:01 Linktim_ has joined #ocaml

11:09 Linktim- has joined #ocaml

11:15 Linktimaw has quit [Read error: 110 (Connection timed out)]

11:25 Linktim_ has quit [Read error: 110 (Connection timed out)]

11:27 Linktim_ has joined #ocaml

11:27 Linktim_ is now known as Linktimaw

11:29 kelaouchi has quit ["leaving"]

11:30 guillem has joined #ocaml

11:31 Jedai has quit [Read error: 113 (No route to host)]

11:40 struktured has joined #ocaml

11:42 Linktim- has quit [Read error: 110 (Connection timed out)]

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

11:52 pango has joined #ocaml

11:54 rwmjones has joined #ocaml

12:06 pango has quit ["I shouldn't really be here - dircproxy 1.0.5"]

12:08 pango has joined #ocaml

12:12 Jedai has joined #ocaml

12:14 seafood has quit []

12:14 tomh has joined #ocaml

12:26 batdog has joined #ocaml

12:39 batdog has quit []

12:42 Linktimaw is now known as Linktim_

13:01 tomh- has joined #ocaml

13:02 tomh- has quit [Client Quit]

13:18 Linktim- has joined #ocaml

13:28 AxleLonghorn has joined #ocaml

13:28 AxleLonghorn has left #ocaml []

13:32 RobertFischer has joined #ocaml

13:34 Linktim_ has quit [Read error: 110 (Connection timed out)]

13:36 jonas_e has joined #ocaml

13:40 batdog has joined #ocaml

13:44 Linktim- has quit [Read error: 110 (Connection timed out)]

13:48 Jedai has quit [Read error: 113 (No route to host)]

13:54 Linktim has joined #ocaml

14:00 pango has quit [Remote closed the connection]

14:07 pango has joined #ocaml

14:26 Linktim_ has joined #ocaml

14:36 rwmjones has quit ["Closed connection"]

14:40 Jedai has joined #ocaml

14:41 Linktim has quit [Read error: 110 (Connection timed out)]

14:42 jonas_e has quit [Read error: 113 (No route to host)]

14:44 Linktim- has joined #ocaml

14:49 Linktim_ has quit [Read error: 110 (Connection timed out)]

15:02 Linktim_ has joined #ocaml

15:18 Linktim- has quit [Read error: 110 (Connection timed out)]

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

15:24 pango has joined #ocaml

15:25 Linktim_ has quit [Read error: 110 (Connection timed out)]

15:42 marmotine has joined #ocaml

15:48 filp has quit ["Bye"]

16:18 seafood has joined #ocaml

16:22 mfp has quit [Read error: 104 (Connection reset by peer)]

16:26 Jedai has quit [Read error: 113 (No route to host)]

16:29 mfp has joined #ocaml

16:38 Linktim has joined #ocaml

16:38 r0bby has quit [Client Quit]

16:45 Jedai has joined #ocaml

17:02 mfp has quit [Read error: 104 (Connection reset by peer)]

17:11 marmotine has quit ["Quitte"]

17:13 mfp has joined #ocaml

17:22 Jedai has quit [Read error: 104 (Connection reset by peer)]

17:40 jarimatti has joined #ocaml

17:58 arquebus has joined #ocaml

18:09 pec1 has joined #ocaml

18:13 arquebus has left #ocaml []

18:23 Yoric[DT] has joined #ocaml

18:26 Linktim_ has joined #ocaml

18:29 seafood has quit []

18:36 pango has quit [Remote closed the connection]

18:36 Linktim has quit [Read error: 110 (Connection timed out)]

18:40 pango has joined #ocaml

18:43 AxleLonghorn has joined #ocaml

18:43 asmanur has quit [Read error: 110 (Connection timed out)]

18:44 AxleLonghorn has left #ocaml []

19:05 jarimatti has quit []

19:09 asmanur has joined #ocaml

19:15 pec1 has left #ocaml []

19:20 proqesi has joined #ocaml

19:33 ygrek has quit [Remote closed the connection]

19:55 Associat0r has quit []

20:13 hsuh has joined #ocaml

20:24 proqesi has quit [Remote closed the connection]

20:49 marmotine has joined #ocaml

20:52 asmanur has quit [Remote closed the connection]

20:58 mfp_ has joined #ocaml

21:03 mfp__ has joined #ocaml

21:03 mfp_ has quit [Read error: 104 (Connection reset by peer)]

21:04 mfp has quit [Nick collision from services.]

21:04 mfp__ is now known as mfp

21:11 Linktim- has joined #ocaml

21:21 Linktim- has quit [Remote closed the connection]

21:27 Linktim_ has quit [Read error: 110 (Connection timed out)]

21:29 bluestorm has quit ["Konversation terminated!"]

21:31 Yoric[DT] has quit ["Ex-Chat"]

21:46 hsuh has left #ocaml []

22:14 tomh has quit ["http://www.mibbit.com ajax IRC Client"]

22:17 vbmithr has quit ["Zz"]

22:25 guillem has quit [Remote closed the connection]

22:37 tomh has joined #ocaml

23:15 batdog has quit []

23:32 tomh has quit ["http://www.mibbit.com ajax IRC Client"]

23:58 Kopophex has joined #ocaml