#ocaml on 2003-11-06 — irc logs at freenode.irclog.whitequark.org

2003-09-29 18:59 vect changed the topic of #ocaml to: OCaml 3.07 ! -- Archive of Caml Weekly News: http://pauillac.inria.fr/~aschmitt/cwn, ICFP'03 http://www.icfpcontest.org/, A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/, A free book: http://cristal.inria.fr/~remy/cours/appsem, Mailing List (best ml ever for any computer language): http://caml.inria.fr/bin/wilma/caml-list

00:04 Kinners has left #ocaml []

00:15 mimosa has quit ["I like core dumps"]

00:16 mimosa has joined #ocaml

00:25 __DL__ has quit ["Bye Bye"]

00:41 mimosa has quit ["I like core dumps"]

00:54 g1m has quit ["dodo enfin... bonne nuit"]

01:02 wrunt has quit [orwell.freenode.net irc.freenode.net]

01:02 smkl has quit [orwell.freenode.net irc.freenode.net]

01:02 rox has quit [orwell.freenode.net irc.freenode.net]

01:02 wax has quit [orwell.freenode.net irc.freenode.net]

01:02 mw has quit [orwell.freenode.net irc.freenode.net]

01:02 phubuh has quit [orwell.freenode.net irc.freenode.net]

01:02 teratorn has quit [orwell.freenode.net irc.freenode.net]

01:02 Etaoin has quit [orwell.freenode.net irc.freenode.net]

01:02 Smerdyakov has quit [orwell.freenode.net irc.freenode.net]

01:02 Riastradh has quit [orwell.freenode.net irc.freenode.net]

01:02 cm has quit [orwell.freenode.net irc.freenode.net]

01:02 The-Fixer has quit [orwell.freenode.net irc.freenode.net]

01:02 themus has quit [orwell.freenode.net irc.freenode.net]

01:02 mattam has quit [orwell.freenode.net irc.freenode.net]

01:02 vect has quit [orwell.freenode.net irc.freenode.net]

01:02 mellum has quit [orwell.freenode.net irc.freenode.net]

01:02 karryall has quit [orwell.freenode.net irc.freenode.net]

01:02 Hipo has quit [orwell.freenode.net irc.freenode.net]

01:02 det has quit [orwell.freenode.net irc.freenode.net]

01:02 brwill_out has quit [orwell.freenode.net irc.freenode.net]

01:06 det has joined #ocaml

01:06 brwill_out has joined #ocaml

01:06 Hipo has joined #ocaml

01:06 karryall has joined #ocaml

01:06 The-Fixer has joined #ocaml

01:06 wax has joined #ocaml

01:06 mellum has joined #ocaml

01:06 vect has joined #ocaml

01:06 phubuh has joined #ocaml

01:06 mattam has joined #ocaml

01:06 Smerdyakov has joined #ocaml

01:06 smkl has joined #ocaml

01:06 rox has joined #ocaml

01:06 teratorn has joined #ocaml

01:06 mw has joined #ocaml

01:06 Etaoin has joined #ocaml

01:06 Riastradh has joined #ocaml

01:06 cm has joined #ocaml

01:06 themus has joined #ocaml

01:07 wrunt has joined #ocaml

02:22 systems has joined #ocaml

02:48 systems has quit ["Client Exiting"]

05:24 wrunt has quit [orwell.freenode.net irc.freenode.net]

05:24 karryall has quit [orwell.freenode.net irc.freenode.net]

05:24 det has quit [orwell.freenode.net irc.freenode.net]

05:24 brwill_out has quit [orwell.freenode.net irc.freenode.net]

05:24 Hipo has quit [orwell.freenode.net irc.freenode.net]

05:24 mellum has quit [orwell.freenode.net irc.freenode.net]

05:24 vect has quit [orwell.freenode.net irc.freenode.net]

05:24 smkl has quit [orwell.freenode.net irc.freenode.net]

05:24 rox has quit [orwell.freenode.net irc.freenode.net]

05:24 mw has quit [orwell.freenode.net irc.freenode.net]

05:24 phubuh has quit [orwell.freenode.net irc.freenode.net]

05:24 wax has quit [orwell.freenode.net irc.freenode.net]

05:24 teratorn has quit [orwell.freenode.net irc.freenode.net]

05:24 Etaoin has quit [orwell.freenode.net irc.freenode.net]

05:24 Smerdyakov has quit [orwell.freenode.net irc.freenode.net]

05:24 Riastradh has quit [orwell.freenode.net irc.freenode.net]

05:24 cm has quit [orwell.freenode.net irc.freenode.net]

05:24 mattam has quit [orwell.freenode.net irc.freenode.net]

05:24 The-Fixer has quit [orwell.freenode.net irc.freenode.net]

05:24 themus has quit [orwell.freenode.net irc.freenode.net]

05:24 wrunt has joined #ocaml

05:24 det has joined #ocaml

05:24 brwill_out has joined #ocaml

05:24 Hipo has joined #ocaml

05:24 karryall has joined #ocaml

05:24 The-Fixer has joined #ocaml

05:24 wax has joined #ocaml

05:24 mellum has joined #ocaml

05:24 vect has joined #ocaml

05:24 phubuh has joined #ocaml

05:24 mattam has joined #ocaml

05:24 Smerdyakov has joined #ocaml

05:24 smkl has joined #ocaml

05:24 rox has joined #ocaml

05:24 teratorn has joined #ocaml

05:24 mw has joined #ocaml

05:24 Etaoin has joined #ocaml

05:24 Riastradh has joined #ocaml

05:24 cm has joined #ocaml

05:24 themus has joined #ocaml

06:54 Kinners has joined #ocaml

07:44 lam_ has joined #ocaml

08:51 __DL__ has joined #ocaml

08:57 phubuh has quit [Remote closed the connection]

09:10 Kinners has left #ocaml []

09:16 Demitar has joined #ocaml

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

09:34 __DL__ has joined #ocaml

09:36 srv has joined #ocaml

10:03 g1m has joined #ocaml

11:00 yinnte has joined #ocaml

11:08 yinnte has quit [Remote closed the connection]

11:14 __buggs has joined #ocaml

11:16 lus|wazze has joined #ocaml

11:23 srv has quit ["leaving"]

11:30 buggs|afk has quit [Read error: 110 (Connection timed out)]

11:31 karryall has quit [Remote closed the connection]

11:43 mimosa has joined #ocaml

12:08 brwill_out is now known as brwill

12:17 mattam_ has joined #ocaml

12:18 brwill is now known as brwill_zzz

12:21 mattam has quit [Read error: 60 (Operation timed out)]

12:28 smimram_ has joined #ocaml

12:28 smimram_ has quit [Client Quit]

12:28 smimram_ has joined #ocaml

12:35 mimosa has quit [Read error: 60 (Operation timed out)]

12:53 srv has joined #ocaml

13:06 karryall has joined #ocaml

13:40 Demitar has quit [Remote closed the connection]

15:20 _cm has joined #ocaml

15:20 mattam_ has quit [orwell.freenode.net irc.freenode.net]

15:20 cm has quit [orwell.freenode.net irc.freenode.net]

15:20 Riastradh has quit [orwell.freenode.net irc.freenode.net]

15:20 Smerdyakov has quit [orwell.freenode.net irc.freenode.net]

15:20 _cm is now known as cm

15:21 mattam_ has joined #ocaml

15:21 Smerdyakov has joined #ocaml

15:21 Riastradh has joined #ocaml

15:21 mattam has joined #ocaml

15:23 mattam_ has quit [Connection reset by peer]

15:56 owll has joined #ocaml

15:56 owll has quit [Client Quit]

16:13 Demitar has joined #ocaml

16:21 __DL__ has quit ["Bye Bye"]

16:51 owll has joined #ocaml

16:59 srv has quit ["leaving"]

17:01 systems has joined #ocaml

17:13 Demitar has quit [Remote closed the connection]

17:14 owll has left #ocaml []

17:17 Demitar has joined #ocaml

17:21 karryall has quit [Remote closed the connection]

17:53 systems has quit ["Client Exiting"]

18:47 karryall has joined #ocaml

19:24 TimFreeman has joined #ocaml

19:24 TimFreeman has left #ocaml []

19:40 __buggs is now known as buggs

19:41 Vincenz has joined #ocaml

19:53 brwill_zzz has quit [Read error: 54 (Connection reset by peer)]

20:05 owll has joined #ocaml

20:08 owll has left #ocaml []

21:13 clog has joined #ocaml

21:40 owll has joined #ocaml

21:49 Hipo has quit ["leaving"]

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

21:59 karryall has quit [Remote closed the connection]

22:06 owll has quit ["Client Exiting"]

22:12 smimram_ is now known as mimosa

22:24 g1m has quit [Read error: 104 (Connection reset by peer)]

22:27 buggs is now known as buggs|afk

22:27 g1m has joined #ocaml

22:33 systems has joined #ocaml

22:35 systems has quit [Client Quit]

22:56 owll has joined #ocaml

23:01 phubuh has joined #ocaml

23:02 <phubuh> How do I restrict the type of a variable to a specific class, instead of to a set of methods?

23:02 <phubuh> Do I just use class type instead of class?

23:05 <Demitar> Well if you want to restrict it in the sense of that it should have exactly the same interface as the class simply use (x : myclass), if you want to ignore structural equality and use the class name I doubt you can.

23:06 owll has quit [Read error: 60 (Operation timed out)]

23:07 <phubuh> The latter is what I want.

23:07 <Demitar> AFAIK ocaml doesn't care much for class definition hirearchies and relies exclusively on class structure.

23:08 <Demitar> You could of course do: method __this_is_class_foobar = () to separate it from the rest. ;-)

23:08 <Demitar> But I doubt I've ever concocted an uglier hack. :)

23:09 <phubuh> Hmm, I just realized that there isn't even a concept of `inheritance' as such in OCaml, so restricting by class name would be largely useless.

23:11 <Smerdyakov> Well, there is inheritance as a coding shortcut, but not recognized by the type system.

23:11 g1m has quit [Read error: 54 (Connection reset by peer)]

23:12 <Demitar> Unfortunately the class type errors are often barely readable. (Too often one needs to compare large types by hand.)

23:48 g1m has joined #ocaml