#ocaml on 2006-12-22 — irc logs at freenode.irclog.whitequark.org

2006-11-29 02:15 sponge45 changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/

00:00 lmbdwr has joined #ocaml

00:03 Mr_Awesome has quit [sterling.freenode.net irc.freenode.net]

00:03 Hadaka has quit [sterling.freenode.net irc.freenode.net]

00:03 triple_ has quit [sterling.freenode.net irc.freenode.net]

00:03 gim has quit [sterling.freenode.net irc.freenode.net]

00:03 buluca has quit [sterling.freenode.net irc.freenode.net]

00:03 trurl_ has quit [sterling.freenode.net irc.freenode.net]

00:03 gaja has quit [sterling.freenode.net irc.freenode.net]

00:03 pingu has quit [sterling.freenode.net irc.freenode.net]

00:03 tsuyoshi has quit [sterling.freenode.net irc.freenode.net]

00:03 seafood_ has quit [sterling.freenode.net irc.freenode.net]

00:03 seafood has quit [sterling.freenode.net irc.freenode.net]

00:03 Norgg has quit [sterling.freenode.net irc.freenode.net]

00:03 Amorphous has quit [sterling.freenode.net irc.freenode.net]

00:03 ozzloy has quit [sterling.freenode.net irc.freenode.net]

00:03 lmbdwr has quit [sterling.freenode.net irc.freenode.net]

00:03 whatsup103 has quit [sterling.freenode.net irc.freenode.net]

00:03 _fab has quit [sterling.freenode.net irc.freenode.net]

00:03 shawn has quit [sterling.freenode.net irc.freenode.net]

00:03 mbishop has quit [sterling.freenode.net irc.freenode.net]

00:03 descender has quit [sterling.freenode.net irc.freenode.net]

00:03 slipstream has quit [sterling.freenode.net irc.freenode.net]

00:03 malc_ has quit [sterling.freenode.net irc.freenode.net]

00:03 rillig has quit [sterling.freenode.net irc.freenode.net]

00:03 ppsmimou has quit [sterling.freenode.net irc.freenode.net]

00:03 pango has quit [sterling.freenode.net irc.freenode.net]

00:03 smimou has quit [sterling.freenode.net irc.freenode.net]

00:03 jdev has quit [sterling.freenode.net irc.freenode.net]

00:03 pauld has quit [sterling.freenode.net irc.freenode.net]

00:03 Ugarte has quit [sterling.freenode.net irc.freenode.net]

00:03 david_koontz has quit [sterling.freenode.net irc.freenode.net]

00:03 Skal has quit [sterling.freenode.net irc.freenode.net]

00:03 bebui has quit [sterling.freenode.net irc.freenode.net]

00:03 Debolaz has quit [sterling.freenode.net irc.freenode.net]

00:03 batdog has quit [sterling.freenode.net irc.freenode.net]

00:03 haelix has quit [sterling.freenode.net irc.freenode.net]

00:03 tsuyoshi has joined #ocaml

00:04 seafood_ has joined #ocaml

00:04 gim has joined #ocaml

00:04 rillig has joined #ocaml

00:04 trurl has joined #ocaml

00:08 seafood has joined #ocaml

00:12 slipstream has joined #ocaml

00:12 Skal has joined #ocaml

00:12 bebui has joined #ocaml

00:12 david_koontz has joined #ocaml

00:12 david_koontz has quit [sterling.freenode.net irc.freenode.net]

00:12 Skal has quit [sterling.freenode.net irc.freenode.net]

00:12 slipstream has quit [sterling.freenode.net irc.freenode.net]

00:13 Debolaz has joined #ocaml

00:14 Naked has joined #ocaml

00:14 Naked is now known as Hadaka

00:15 slipstream has joined #ocaml

00:15 pingu has joined #ocaml

00:16 mbishop has joined #ocaml

00:16 whatsup103 has joined #ocaml

00:16 buluca has joined #ocaml

00:16 Amorphous has joined #ocaml

00:16 Skal has joined #ocaml

00:16 johnnowak has joined #ocaml

00:17 Norgg has joined #ocaml

00:17 Ugarte has joined #ocaml

00:17 haelix has joined #ocaml

00:17 ozzloy has joined #ocaml

00:17 jdev has joined #ocaml

00:17 malc has joined #ocaml

00:17 triple has joined #ocaml

00:17 pauld has joined #ocaml

00:18 gaja has joined #ocaml

00:19 batdog has joined #ocaml

00:20 david_koontz has joined #ocaml

00:26 pango has joined #ocaml

00:28 malc has quit [Nick collision from services.]

00:28 malc has joined #ocaml

00:31 malc has quit [Nick collision from services.]

00:33 descender has joined #ocaml

00:33 lmbdwr has joined #ocaml

00:33 _fab has joined #ocaml

00:33 malc_ has joined #ocaml

00:33 shawn__ has joined #ocaml

00:36 ppsmimou has joined #ocaml

00:37 Mr_Awesome has joined #ocaml

00:39 Riesz has quit [sterling.freenode.net irc.freenode.net]

00:39 stevan has quit [sterling.freenode.net irc.freenode.net]

00:39 ikaros has quit [sterling.freenode.net irc.freenode.net]

00:39 beschmi has quit [sterling.freenode.net irc.freenode.net]

00:39 Roughest has quit [sterling.freenode.net irc.freenode.net]

00:39 Demitar has quit [sterling.freenode.net irc.freenode.net]

00:39 shans_home has quit [sterling.freenode.net irc.freenode.net]

00:39 mattam has quit [sterling.freenode.net irc.freenode.net]

00:39 zmdkrbou has quit [sterling.freenode.net irc.freenode.net]

00:39 pauld has quit [sterling.freenode.net irc.freenode.net]

00:39 haelix has quit [sterling.freenode.net irc.freenode.net]

00:39 Norgg has quit [sterling.freenode.net irc.freenode.net]

00:39 johnnowak has quit [sterling.freenode.net irc.freenode.net]

00:39 ramkrsna has quit [sterling.freenode.net irc.freenode.net]

00:39 Shimei has quit [sterling.freenode.net irc.freenode.net]

00:39 flux__ has quit [sterling.freenode.net irc.freenode.net]

00:39 Oatmeat|umn has quit [sterling.freenode.net irc.freenode.net]

00:39 mellum has quit [sterling.freenode.net irc.freenode.net]

00:39 cmeme has quit [sterling.freenode.net irc.freenode.net]

00:39 TaXules has quit [sterling.freenode.net irc.freenode.net]

00:39 mellum_ has joined #ocaml

00:39 mattam has joined #ocaml

00:39 zmdkrbou has joined #ocaml

00:39 TaXules has joined #ocaml

00:39 Norgg has joined #ocaml

00:39 pauld has joined #ocaml

00:39 stevan has joined #ocaml

00:39 ramkrsna has joined #ocaml

00:39 shans_home has joined #ocaml

00:39 Oatmeat|umn has joined #ocaml

00:39 Shimei has joined #ocaml

00:40 Riesz has joined #ocaml

00:40 Demitar has joined #ocaml

00:40 Roughest has joined #ocaml

00:40 shans has joined #ocaml

00:40 ikaros has joined #ocaml

00:41 <shans> I've got a stream of packets, each of which has a type

00:42 <shans> and I want to sort the packets into several streams, each of a single type

00:42 <shans> but I want it all to happen lazily

00:42 <shans> has anyone else done something similar before?

00:42 <shans> I'm having trouble getting it to work

00:43 johnnowak has joined #ocaml

00:44 flux__ has joined #ocaml

00:44 haelix has joined #ocaml

00:45 cmeme has joined #ocaml

00:55 MisterC has joined #ocaml

00:57 triple has quit [Read error: 113 (No route to host)]

00:59 whatsup103 has quit ["Konversation terminated!"]

01:00 Skal has quit [Read error: 60 (Operation timed out)]

01:31 eradman has joined #ocaml

01:33 sponge45 has joined #ocaml

01:51 malc_ has quit ["leaving"]

02:06 mbishop has quit [Remote closed the connection]

02:09 yondalf has joined #ocaml

02:15 johnnowak has quit []

02:20 shans has quit ["Ex-Chat"]

02:37 yondalf_ has joined #ocaml

02:49 yondalf has quit [Read error: 110 (Connection timed out)]

03:13 yondalf_ has quit ["leaving"]

03:22 slipstream-- has joined #ocaml

03:25 triple_ has joined #ocaml

03:34 slipstream has quit [Read error: 110 (Connection timed out)]

03:43 sponge45 has quit ["zzzzzzzzzz"]

04:02 xian has quit [Remote closed the connection]

04:17 Amorphous has quit [Read error: 60 (Operation timed out)]

04:22 mbishop has joined #ocaml

04:24 fab__ has joined #ocaml

04:26 _fab has quit [Read error: 110 (Connection timed out)]

04:26 Amorphous has joined #ocaml

04:34 rillig has quit ["exit(EXIT_SUCCESS)"]

04:43 xian has joined #ocaml

04:47 johnnowak has joined #ocaml

04:48 johnnowak has quit [Client Quit]

04:48 johnnowak has joined #ocaml

05:34 sponge45 has joined #ocaml

05:50 sponge45 has quit ["zzzzzzzzzz"]

07:24 Smerdyakov has quit ["Leaving"]

07:59 johnnowak has quit []

08:01 _velco has joined #ocaml

08:40 _velco has quit [Read error: 110 (Connection timed out)]

08:42 _velco has joined #ocaml

08:44 velco has joined #ocaml

08:46 ChoJin has joined #ocaml

08:54 love-pingoo has joined #ocaml

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

09:10 pango has joined #ocaml

09:26 eradman has quit [Read error: 104 (Connection reset by peer)]

09:53 love-pingoo has quit [Read error: 60 (Operation timed out)]

10:15 flux__ has quit [sterling.freenode.net irc.freenode.net]

10:15 Amorphous has quit [sterling.freenode.net irc.freenode.net]

10:15 fab__ has quit [sterling.freenode.net irc.freenode.net]

10:15 MisterC has quit [sterling.freenode.net irc.freenode.net]

10:15 ozzloy has quit [sterling.freenode.net irc.freenode.net]

10:15 Ugarte has quit [sterling.freenode.net irc.freenode.net]

10:15 buluca has quit [sterling.freenode.net irc.freenode.net]

10:15 pingu has quit [sterling.freenode.net irc.freenode.net]

10:15 pango has quit [sterling.freenode.net irc.freenode.net]

10:15 Shimei has quit [sterling.freenode.net irc.freenode.net]

10:15 Norgg has quit [sterling.freenode.net irc.freenode.net]

10:15 zmdkrbou has quit [sterling.freenode.net irc.freenode.net]

10:15 ChoJin has quit [sterling.freenode.net irc.freenode.net]

10:15 velco has quit [sterling.freenode.net irc.freenode.net]

10:15 xian has quit [sterling.freenode.net irc.freenode.net]

10:15 mbishop has quit [sterling.freenode.net irc.freenode.net]

10:15 ikaros has quit [sterling.freenode.net irc.freenode.net]

10:15 Roughest has quit [sterling.freenode.net irc.freenode.net]

10:15 Demitar has quit [sterling.freenode.net irc.freenode.net]

10:15 pauld has quit [sterling.freenode.net irc.freenode.net]

10:15 mellum_ has quit [sterling.freenode.net irc.freenode.net]

10:15 ppsmimou has quit [sterling.freenode.net irc.freenode.net]

10:15 descender has quit [sterling.freenode.net irc.freenode.net]

10:15 triple_ has quit [sterling.freenode.net irc.freenode.net]

10:15 slipstream-- has quit [sterling.freenode.net irc.freenode.net]

10:15 haelix has quit [sterling.freenode.net irc.freenode.net]

10:15 mattam has quit [sterling.freenode.net irc.freenode.net]

10:15 lmbdwr has quit [sterling.freenode.net irc.freenode.net]

10:15 batdog has quit [sterling.freenode.net irc.freenode.net]

10:15 stevan has quit [sterling.freenode.net irc.freenode.net]

10:15 ramkrsna has quit [sterling.freenode.net irc.freenode.net]

10:15 Mr_Awesome has quit [sterling.freenode.net irc.freenode.net]

10:15 shawn__ has quit [sterling.freenode.net irc.freenode.net]

10:15 david_koontz has quit [sterling.freenode.net irc.freenode.net]

10:15 jdev has quit [sterling.freenode.net irc.freenode.net]

10:15 cmeme has quit [sterling.freenode.net irc.freenode.net]

10:15 Riesz has quit [sterling.freenode.net irc.freenode.net]

10:15 Oatmeat|umn has quit [sterling.freenode.net irc.freenode.net]

10:15 shans_home has quit [sterling.freenode.net irc.freenode.net]

10:15 TaXules has quit [sterling.freenode.net irc.freenode.net]

10:15 gaja has quit [sterling.freenode.net irc.freenode.net]

10:15 Hadaka has quit [sterling.freenode.net irc.freenode.net]

10:15 _velco has quit [sterling.freenode.net irc.freenode.net]

10:15 seafood has quit [sterling.freenode.net irc.freenode.net]

10:15 trurl has quit [sterling.freenode.net irc.freenode.net]

10:15 gim has quit [sterling.freenode.net irc.freenode.net]

10:15 DRMacIver has quit [sterling.freenode.net irc.freenode.net]

10:15 Foxyloxy has quit [sterling.freenode.net irc.freenode.net]

10:15 pattern has quit [sterling.freenode.net irc.freenode.net]

11:04 jdev has joined #ocaml

11:04 batdog has joined #ocaml

11:04 david_koontz has joined #ocaml

11:04 descender has joined #ocaml

11:04 lmbdwr has joined #ocaml

11:04 shawn__ has joined #ocaml

11:04 ppsmimou has joined #ocaml

11:04 mellum_ has joined #ocaml

11:04 mattam has joined #ocaml

11:04 zmdkrbou has joined #ocaml

11:04 Norgg has joined #ocaml

11:04 pauld has joined #ocaml

11:04 stevan has joined #ocaml

11:04 ramkrsna has joined #ocaml

11:04 Shimei has joined #ocaml

11:04 Demitar has joined #ocaml

11:04 Roughest has joined #ocaml

11:04 ikaros has joined #ocaml

11:04 haelix has joined #ocaml

11:04 slipstream-- has joined #ocaml

11:04 triple_ has joined #ocaml

11:04 mbishop has joined #ocaml

11:04 xian has joined #ocaml

11:04 velco has joined #ocaml

11:04 pango has joined #ocaml

11:04 _velco has joined #ocaml

11:04 Amorphous has joined #ocaml

11:04 fab__ has joined #ocaml

11:04 MisterC has joined #ocaml

11:04 cmeme has joined #ocaml

11:04 Riesz has joined #ocaml

11:04 Oatmeat|umn has joined #ocaml

11:04 shans_home has joined #ocaml

11:04 TaXules has joined #ocaml

11:04 gaja has joined #ocaml

11:04 Hadaka has joined #ocaml

11:04 flux__ has joined #ocaml

11:04 ozzloy has joined #ocaml

11:04 Ugarte has joined #ocaml

11:04 buluca has joined #ocaml

11:04 pingu has joined #ocaml

11:04 seafood has joined #ocaml

11:04 trurl has joined #ocaml

11:04 gim has joined #ocaml

11:04 DRMacIver has joined #ocaml

11:04 Foxyloxy has joined #ocaml

11:04 pattern has joined #ocaml

11:24 ramkrsna has quit [Remote closed the connection]

11:50 _velco has quit [Read error: 110 (Connection timed out)]

12:19 fab_ has joined #ocaml

12:21 fab__ has quit [Read error: 110 (Connection timed out)]

12:53 pingu has quit ["ouch."]

13:34 faf has joined #ocaml

14:50 ktne has joined #ocaml

14:50 <ktne> hello

14:50 <ktne> is there an ide for ocaml?

14:51 tautologico has joined #ocaml

14:54 <DRMacIver> I think there's an Eclipse plugin.

14:54 <ktne> yes indeed

14:54 <ktne> i'm checking that right now

14:54 <DRMacIver> There's also an OCaml IDE, but I was unimpressed with it last time I looked.

14:55 <DRMacIver> One moment while I look up the name

14:55 <DRMacIver> Cameleon

14:57 <DRMacIver> (There's also a visual studio plugin for F#)

14:57 <ktne> how is f# compared to ocaml?

14:57 <pango> cameleon, maybe others

14:57 <ktne> are they source-compatible?

14:57 <DRMacIver> I'm not sure.

14:57 <DRMacIver> I think the basic syntax is pretty compatible.

14:57 <pango> does the eclipse plugin provide more than syntax highlighting ?

14:57 <DRMacIver> But the libraries aren't going to be.

14:58 <pango> given how huge and slow eclipse is (on a P3 there's a delay when I type code...) there are probably better ways to get syntax highlighting ;)

14:58 <ktne> how good is ocaml'

14:58 <ktne> ocaml's gc?

14:58 <pango> f# is inspired by ocaml, but they're not the same thing

14:58 <pango> f# doesn't even support functors

14:58 <DRMacIver> ok.

14:58 <DRMacIver> I'm not really at all familiar with F#.

14:58 <ktne> anyone knows any implementation details about ocaml's gc?

14:59 <DRMacIver> No idea I'm afraid.

14:59 <pango> ktne: see chapter 9 of "developing applications with objective caml"

15:00 <ktne> pango checking..

15:00 <pango> http://caml.inria.fr/pub/docs/oreilly-book/html/book-ora082.html

15:00 <ktne> "votre butineur m'est inconnu"? :)

15:00 <ktne> do you call a web browser "butineur" in france?:)

15:01 <pango> not really, I think it's canadian term

15:01 <pango> "navigateur" is more common here

15:02 <ktne> i see.

15:03 <ktne> we say browser, pronounced as "brovsär" in romanian :)

15:04 <pango> browser isn't uncommon here too

15:12 ikaros has quit [Read error: 110 (Connection timed out)]

15:13 ikaros has joined #ocaml

15:56 fab_ has quit [Read error: 113 (No route to host)]

15:59 levi_home has quit [Read error: 54 (Connection reset by peer)]

16:04 pango has quit [Remote closed the connection]

16:06 pango has joined #ocaml

16:10 Amorphous has quit ["arg... must... shutdown... computer burnin..."]

16:29 Smerdyakov has joined #ocaml

16:35 gunark has joined #ocaml

16:42 david_koontz has quit [Remote closed the connection]

16:55 bluestorm has joined #ocaml

16:55 _fab has joined #ocaml

17:01 smimou has joined #ocaml

17:05 ChoJin has joined #ocaml

17:26 postalchris has joined #ocaml

17:35 faf has left #ocaml []

17:37 rillig has joined #ocaml

17:37 velco has quit ["Ex-Chat"]

17:51 triple_ has quit [Read error: 113 (No route to host)]

18:10 revision17 has quit [Read error: 54 (Connection reset by peer)]

18:33 ChoJin has quit ["This computer has gone to sleep"]

18:44 _fab has quit [Read error: 113 (No route to host)]

18:44 batdog is now known as batdog|gone

19:08 ktne has left #ocaml []

19:15 _fab has joined #ocaml

19:22 swater has joined #ocaml

19:57 bluestorm is now known as bluestorm_aw

20:00 bluestorm_aw has quit [Remote closed the connection]

20:02 bluestorm has joined #ocaml

20:03 rillig has quit ["exit(EXIT_SUCCESS)"]

20:12 batdog|gone is now known as batdog

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

20:51 bluestorm has joined #ocaml

20:55 pantsd has joined #ocaml

21:01 Submarine_ has joined #ocaml

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

21:27 _fab has quit []

21:38 swater_ has joined #ocaml

21:40 swater_ has quit [Client Quit]

21:41 swater_ has joined #ocaml

21:48 slipstream-- is now known as slipstream

21:48 slipstream has quit ["leaving"]

21:48 slipstream has joined #ocaml

21:54 swater has quit [Read error: 110 (Connection timed out)]

21:55 faf has joined #ocaml

21:59 johnnowak has joined #ocaml

22:09 joshcryer has joined #ocaml

22:11 bluestorm has quit ["Konversation terminated!"]

22:14 bluestorm has joined #ocaml

22:28 lmbdwr has quit [Remote closed the connection]

22:31 revision17 has joined #ocaml

22:33 Submarine_ is now known as Submarine

22:52 revision17_ has joined #ocaml

22:56 pantsd has joined #ocaml

23:00 revision17 has quit [Read error: 60 (Operation timed out)]

23:12 faf has left #ocaml []

23:25 Demitar has quit ["Ex-Chat"]

23:28 bluestorm has quit ["Konversation terminated!"]

23:52 Demitar has joined #ocaml

23:54 Demitar has quit [Client Quit]

23:54 levi_home has joined #ocaml

23:55 Demitar has joined #ocaml