#ocaml on 2005-03-03 — irc logs at freenode.irclog.whitequark.org

2005-01-20 20:39 mfurr changed the topic of #ocaml to: OCaml 3.08.2 available! | Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/

00:12 Sonarman has joined #ocaml

00:15 smimou has quit ["?"]

00:28 Gueben has quit ["Leaving"]

00:43 mlh has quit [Client Quit]

00:57 mlh has joined #ocaml

00:57 mlh has quit [Client Quit]

01:05 mlh has joined #ocaml

01:21 Skal has quit ["Client exiting"]

01:48 gim has quit [".11"]

01:59 picard has quit [Read error: 104 (Connection reset by peer)]

02:03 gim has joined #ocaml

02:05 _fab has quit [Read error: 113 (No route to host)]

04:08 Sonarman has quit ["leaving"]

04:13 lodewijk has quit [Read error: 60 (Operation timed out)]

05:03 mlh has quit ["who are you people and what are you doing in my computer!?"]

05:21 Sonarman has joined #ocaml

05:55 monochrom has joined #ocaml

06:08 Sonarman has quit ["leaving"]

06:27 Nutssh has left #ocaml []

06:36 Snark has joined #ocaml

07:06 Submarine has joined #ocaml

07:07 zzorn has joined #ocaml

07:10 mrvn_ has joined #ocaml

07:11 mlh has joined #ocaml

07:12 monochrom has quit ["What is the meaning of "meaning"?"]

07:19 zzorn is now known as zzorn_away

07:23 Herrchen has joined #ocaml

07:25 mrvn has quit [Read error: 110 (Connection timed out)]

07:38 Amorphous has quit [Read error: 60 (Operation timed out)]

07:43 dsilva has joined #ocaml

07:47 Amorphous has joined #ocaml

08:01 __DL__ has joined #ocaml

08:18 Snark has quit ["Leaving"]

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

08:24 zeeeee has joined #ocaml

08:24 zeeeee has left #ocaml []

09:07 Gueben has joined #ocaml

09:12 __DL__ has quit [Read error: 110 (Connection timed out)]

09:15 __DL__ has joined #ocaml

09:20 __mattam__ has joined #ocaml

09:21 __mattam__ has quit [Client Quit]

09:41 smimou has joined #ocaml

09:56 Gueben has quit ["Leaving"]

09:57 Gueben has joined #ocaml

09:57 Gueben has quit [Client Quit]

10:19 Msandin has joined #ocaml

10:40 yangsx has joined #ocaml

10:49 yang has joined #ocaml

10:50 Skal has joined #ocaml

10:50 yang has left #ocaml []

11:00 mlh has quit ["brb"]

11:10 yangsx has quit [Read error: 110 (Connection timed out)]

11:19 tea has joined #ocaml

11:25 mlh has joined #ocaml

11:26 m3ga has joined #ocaml

11:28 m3ga has quit [Client Quit]

11:31 Snark has joined #ocaml

11:50 Submarine has quit ["Leaving"]

12:18 <vincenz> Msandin: hi

12:19 <vincenz> I was trying to figure out your amalthea thing

12:20 kisu has joined #ocaml

12:20 Msandin has quit [Read error: 60 (Operation timed out)]

13:02 mlh has quit ["We were somewhere around Barstow on the edge of the desert when the drugs began to take hold"]

13:14 _JusSx_ has joined #ocaml

13:16 solarwind has joined #ocaml

13:21 karryall has joined #ocaml

13:46 vezenchio has joined #ocaml

13:59 <vegai> I guess there is no way to extend a type, like you can kinda do in Haskell with typeclasses?

14:00 <det> You will have to be more specific about what it means to "extend a type"

14:00 <Smerdyakov> I would not describe Haskell type classes as letting you "extend a type."

14:06 <vegai> well, I would

14:07 <Smerdyakov> Then you're goofy.

14:08 <vegai> I don't deny *that*.

14:08 Skal has quit [Remote closed the connection]

14:10 <vegai> Markus Mottl writes in 1999 that he's expecting Ocaml team to implement type classes :-/

14:11 <Smerdyakov> They're really not that useful. :P

14:12 <vegai> well, it'd be handy in a framework. I could have functions that use those typeclasses

14:12 <vegai> and the developer using the framework could add their own types to the typeclass

14:12 <vegai> therefore "extending the type"

14:13 <Smerdyakov> "A framework".... what a horribly general description!

14:13 <vegai> the Ocaml way to do this would be to have the function completely polymorphic?

14:14 <vegai> gotta run now, I hope someone'll be here later so I can perhaps tell some details

14:18 Skal has joined #ocaml

14:25 <det> vegai, you can have the module containing these functions paramaterized by a module (a functor)

14:56 CosmicRay has joined #ocaml

16:20 _DL_ has joined #ocaml

16:20 _DL_ has left #ocaml []

16:37 karryall has quit ["tcho"]

17:02 cognominal has quit [Remote closed the connection]

17:03 cognominal has joined #ocaml

17:33 Gueben has joined #ocaml

19:14 zzorn_away is now known as zzorn

19:17 <vegai> det: thanks for the pointer

19:20 zzorn is now known as zzorn_afk

19:51 pango has joined #ocaml

20:03 Boojum has joined #ocaml

20:09 Snark has quit [Read error: 110 (Connection timed out)]

20:29 cjohnson has joined #ocaml

20:35 TheDracle has joined #ocaml

20:49 cjohnson has quit [Remote closed the connection]

21:00 monochrom has joined #ocaml

21:17 Herrchen has quit ["bye"]

21:21 _fab has joined #ocaml

21:29 <vegai> whoa, the module language is quite a tough one

21:32 FreedomZ has joined #ocaml

21:32 spkqs651 has joined #ocaml

21:32 bhkdb959 has joined #ocaml

21:32 ubsrv461 has joined #ocaml

21:32 rdyuw78 has joined #ocaml

21:32 qimbl510 has joined #ocaml

21:32 mctsm506 has joined #ocaml

21:32 aaehq486 has joined #ocaml

21:32 ylies848 has joined #ocaml

21:32 <ylies848> @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ : French team©

21:32 <rdyuw78> @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ : French team©

21:32 <aaehq486> @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ : French team©

21:32 <spkqs651> @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ : French team©

21:32 <ubsrv461> @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ : French team©

21:32 <aaehq486> @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ : French team©

21:32 <spkqs651> @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ : French team©

21:32 <ubsrv461> @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ : French team©

21:32 <rdyuw78> @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ : French team©

21:32 <ylies848> @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ : French team©

21:32 <bhkdb959> @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ : French team©

21:32 <mctsm506> @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ : French team©

21:32 <qimbl510> @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ : French team©