#ocaml on 2004-02-01 — irc logs at freenode.irclog.whitequark.org

2004-01-16 07:50 smkl changed the topic of #ocaml to: OCaml 3.07 ! -- Archive of Caml Weekly News: http://pauillac.inria.fr/~aschmitt/cwn, 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:02 Kinners has quit [Read error: 110 (Connection timed out)]

00:11 reltuk has joined #ocaml

00:49 gim has quit ["zZz"]

00:54 Nutssh has joined #ocaml

01:15 housetier has quit ["#breaks @ irc.highteq.de"]

01:20 housetier has joined #ocaml

01:31 wazze has joined #ocaml

02:58 Kinners has joined #ocaml

03:06 Kinners has left #ocaml []

03:45 Nutssh has quit ["Client exiting"]

03:56 Riastradh is now known as _Riastradh

03:56 _Riastradh is now known as Riastradh

04:17 Nutssh has joined #ocaml

04:17 Nutssh has quit [Client Quit]

04:17 Nutssh has joined #ocaml

04:59 The-Fixer has quit [calvino.freenode.net irc.freenode.net]

04:59 cjohnson has quit [calvino.freenode.net irc.freenode.net]

04:59 yella has quit [calvino.freenode.net irc.freenode.net]

04:59 Nomme has quit [calvino.freenode.net irc.freenode.net]

04:59 themus has quit [calvino.freenode.net irc.freenode.net]

04:59 mellum has quit [calvino.freenode.net irc.freenode.net]

04:59 ejt has quit [calvino.freenode.net irc.freenode.net]

04:59 async has quit [calvino.freenode.net irc.freenode.net]

04:59 reltuk has quit [calvino.freenode.net irc.freenode.net]

04:59 cmeme has quit [calvino.freenode.net irc.freenode.net]

04:59 mattam has quit [calvino.freenode.net irc.freenode.net]

04:59 teratorn has quit [calvino.freenode.net irc.freenode.net]

04:59 Smerdyakov has quit [calvino.freenode.net irc.freenode.net]

04:59 srv has quit [calvino.freenode.net irc.freenode.net]

04:59 pattern has quit [calvino.freenode.net irc.freenode.net]

04:59 smkl has quit [calvino.freenode.net irc.freenode.net]

04:59 rox has quit [calvino.freenode.net irc.freenode.net]

04:59 mw_ has quit [calvino.freenode.net irc.freenode.net]

04:59 Etaoin has quit [calvino.freenode.net irc.freenode.net]

04:59 Maddas has quit [calvino.freenode.net irc.freenode.net]

04:59 clog_ has joined #ocaml

04:59 pattern has joined #ocaml

05:00 themus has joined #ocaml

05:02 mattam has quit [zelazny.freenode.net irc.freenode.net]

05:02 Defcon7 has quit [zelazny.freenode.net irc.freenode.net]

05:02 Riastradh has quit [zelazny.freenode.net irc.freenode.net]

05:02 Hadaka has quit [zelazny.freenode.net irc.freenode.net]

05:02 det has quit [zelazny.freenode.net irc.freenode.net]

05:02 Nutssh has quit [zelazny.freenode.net irc.freenode.net]

05:02 lam has quit [zelazny.freenode.net irc.freenode.net]

05:02 Demitar has quit [zelazny.freenode.net irc.freenode.net]

05:02 Swynndla has quit [zelazny.freenode.net irc.freenode.net]

05:02 clog has quit [zelazny.freenode.net irc.freenode.net]

05:02 cleverdra has quit [zelazny.freenode.net irc.freenode.net]

05:02 housetier has quit [zelazny.freenode.net irc.freenode.net]

05:02 wazze has quit [zelazny.freenode.net irc.freenode.net]

05:02 mw has quit [zelazny.freenode.net irc.freenode.net]

05:02 Banana has quit [zelazny.freenode.net irc.freenode.net]

05:02 wax has quit [zelazny.freenode.net irc.freenode.net]

05:02 gl has quit [zelazny.freenode.net irc.freenode.net]

05:02 skylan has quit [zelazny.freenode.net irc.freenode.net]

05:02 clog_ is now known as clog

05:06 mattam has joined #ocaml

05:06 Riastrad1 has joined #ocaml

05:06 Smerdyakov has joined #ocaml

05:06 cjohnson has joined #ocaml

05:06 axolotl has joined #ocaml

05:06 teratorn has joined #ocaml

05:06 The-Fixer has joined #ocaml

05:06 ejt has joined #ocaml

05:06 reltuk has joined #ocaml

05:06 async has joined #ocaml

05:06 Hadaka has joined #ocaml

05:06 mw has joined #ocaml

05:06 yella has joined #ocaml

05:06 housetier has joined #ocaml

05:06 Swynndla has joined #ocaml

05:06 srv has joined #ocaml

05:06 gl_ has joined #ocaml

05:06 lam has joined #ocaml

05:06 Etaoin has joined #ocaml

05:06 smkl has joined #ocaml

05:06 rox has joined #ocaml

05:06 Defcon7 has joined #ocaml

05:06 Maddas has joined #ocaml

05:06 mellum has joined #ocaml

05:06 Nutssh has joined #ocaml

05:06 Demitar has joined #ocaml

05:06 Nomme has joined #ocaml

05:06 skylan has joined #ocaml

05:06 <pattern> Teach Yourself Programming in Ten Years - http://www.norvig.com/21-days.html

05:07 cleverdr1 is now known as cleverdra

05:21 axolotl has quit [zelazny.freenode.net irc.freenode.net]

05:21 cjohnson has quit [zelazny.freenode.net irc.freenode.net]

05:21 Smerdyakov has quit [zelazny.freenode.net irc.freenode.net]

05:21 ejt has quit [zelazny.freenode.net irc.freenode.net]

05:21 teratorn has quit [zelazny.freenode.net irc.freenode.net]

05:21 mattam has quit [zelazny.freenode.net irc.freenode.net]

05:21 The-Fixer has quit [zelazny.freenode.net irc.freenode.net]

05:21 Riastrad1 has quit [zelazny.freenode.net irc.freenode.net]

05:22 ejt has joined #ocaml

05:22 The-Fixer has joined #ocaml

05:22 teratorn has joined #ocaml

05:22 axolotl has joined #ocaml

05:22 cjohnson has joined #ocaml

05:22 Smerdyakov has joined #ocaml

05:22 Riastrad1 has joined #ocaml

05:22 mattam has joined #ocaml

05:22 Smerdyakov has quit [zelazny.freenode.net irc.freenode.net]

05:22 mattam has quit [zelazny.freenode.net irc.freenode.net]

05:22 axolotl has quit [zelazny.freenode.net irc.freenode.net]

05:22 ejt has quit [zelazny.freenode.net irc.freenode.net]

05:22 cjohnson has quit [zelazny.freenode.net irc.freenode.net]

05:22 Riastrad1 has quit [zelazny.freenode.net irc.freenode.net]

05:22 teratorn has quit [zelazny.freenode.net irc.freenode.net]

05:22 The-Fixer has quit [zelazny.freenode.net irc.freenode.net]

05:22 smkl has quit [zelazny.freenode.net irc.freenode.net]

05:22 rox has quit [zelazny.freenode.net irc.freenode.net]

05:22 Maddas has quit [zelazny.freenode.net irc.freenode.net]

05:22 reltuk has quit [zelazny.freenode.net irc.freenode.net]

05:22 yella has quit [zelazny.freenode.net irc.freenode.net]

05:22 async has quit [zelazny.freenode.net irc.freenode.net]

05:22 Nomme has quit [zelazny.freenode.net irc.freenode.net]

05:22 gl_ has quit [zelazny.freenode.net irc.freenode.net]

05:22 housetier has quit [zelazny.freenode.net irc.freenode.net]

05:22 Nutssh has quit [zelazny.freenode.net irc.freenode.net]

05:22 srv has quit [zelazny.freenode.net irc.freenode.net]

05:22 mellum has quit [zelazny.freenode.net irc.freenode.net]

05:22 Swynndla has quit [zelazny.freenode.net irc.freenode.net]

05:22 Demitar has quit [zelazny.freenode.net irc.freenode.net]

05:22 Hadaka has quit [zelazny.freenode.net irc.freenode.net]

05:22 skylan has quit [zelazny.freenode.net irc.freenode.net]

05:22 Etaoin has quit [zelazny.freenode.net irc.freenode.net]

05:22 mw has quit [zelazny.freenode.net irc.freenode.net]

05:22 lam has quit [zelazny.freenode.net irc.freenode.net]

05:22 Defcon7 has quit [zelazny.freenode.net irc.freenode.net]

05:22 mattam has joined #ocaml

05:22 Riastrad1 has joined #ocaml

05:22 Smerdyakov has joined #ocaml

05:22 cjohnson has joined #ocaml

05:22 axolotl has joined #ocaml

05:22 teratorn has joined #ocaml

05:22 The-Fixer has joined #ocaml

05:22 ejt has joined #ocaml

05:22 smkl has joined #ocaml

05:22 rox has joined #ocaml

05:22 Defcon7 has joined #ocaml

05:22 Maddas has joined #ocaml

05:22 mellum has joined #ocaml

05:22 Nutssh has joined #ocaml

05:22 Demitar has joined #ocaml

05:22 Nomme has joined #ocaml

05:22 skylan has joined #ocaml

05:22 Etaoin has joined #ocaml

05:22 lam has joined #ocaml

05:22 gl_ has joined #ocaml

05:22 srv has joined #ocaml

05:22 Swynndla has joined #ocaml

05:22 housetier has joined #ocaml

05:22 yella has joined #ocaml

05:22 mw has joined #ocaml

05:22 Hadaka has joined #ocaml

05:22 async has joined #ocaml

05:22 reltuk has joined #ocaml

05:27 housetier has quit [Client Quit]

06:07 cmeme has joined #ocaml

07:33 Nutssh has quit [Read error: 60 (Operation timed out)]

08:01 __DL__ has joined #ocaml

08:01 det has joined #ocaml

08:17 __DL__ has quit ["Bye Bye"]

08:20 noss has joined #ocaml

08:20 <noss> caml.inria.fr is down.

08:20 monkeyiq has joined #ocaml

08:29 monkeyiq has quit ["http://witme.sourceforge.net/libferris.web/"]

08:55 The-Fixer has quit ["Goodbye"]

09:08 The-Fixer has joined #ocaml

09:10 Nutssh has joined #ocaml

09:22 Swynndla has quit ["Leaving"]

09:37 housetier has joined #ocaml

10:10 Nutssh has quit ["Client exiting"]

10:14 gim has joined #ocaml

10:20 Banana_ is now known as Banana

10:30 gim_ has joined #ocaml

10:49 <pattern> http://ropas.snu.ac.kr/n/

10:54 <Banana> arf

10:54 <Banana> I don't speak Korean.

10:56 <gim_> nor me :/

11:03 <cleverdra> No need to talk so much about your personal problems, really.

11:07 <Banana> I'd like to know the difference between nml and ocaml.

11:07 <cleverdra> SML, you mean?

11:07 <Banana> hum.

11:08 <Banana> I ve you seen the url pattern gave.

11:08 <Banana> it points to nml homepage a dialect of ocaml. but all doc is in korean.

11:10 <Banana> there are few differences in the syntax but it seems pretty much the same. they say they have their own typechecker.

11:13 <cleverdra> yes, very strange.

11:23 <gim_> well, is there something new in nml ? (I don't see anything new ...)

11:29 <pattern> but it "drives the static analysis technologies to the limit"!

11:30 <gim_> oh great :)

11:30 <Banana> yeap there is. keyword "module" becomes "strucutre"

11:30 <Banana> :|

11:30 <gim_> and there'a a "local" keyword !

11:31 <Banana> whoo.

11:34 <mellum> I wouldn't want to use it unless it also has a "auto" keyword.

11:34 <mattam> it's already Struct(ure) in SML

11:38 <Banana> there are commas instead of semi-colon in list and records.

11:38 <mattam> basically it's SML, even the error messages are the same.

11:41 <Banana> you can use unicode in identifiers.

11:42 <cleverdra> sounds like an improvement, but not something worth a new name.

11:44 <Banana> it's pretty old though. last stable release si 2002/3/18.

11:53 <pattern> http://web.archive.org/web/20020206042836/http://www.catseye.mb.ca/esoteric/index.html

12:35 wazze has joined #ocaml

12:42 gl_ is now known as gl

13:50 gim has quit [Read error: 60 (Operation timed out)]

14:26 tomasso has joined #ocaml

14:58 cmeme has quit [Success]

15:35 cjohnson has quit ["Drawn beyond the lines of reason"]

15:41 gim has joined #ocaml

15:52 EP has joined #ocaml

15:53 EP has left #ocaml []

15:57 mattam_ has joined #ocaml

16:12 mattam has quit [Client Quit]

16:23 mattam_ is now known as mattam

17:00 Riastrad1 is now known as Riastradh

17:15 EP has joined #ocaml

17:15 EP has left #ocaml []

17:23 whiskas has joined #ocaml

17:45 cjohnson has joined #ocaml

17:48 owll has joined #ocaml

17:48 owll has left #ocaml []

17:57 malc has joined #ocaml

18:31 whiskas has quit ["Leaving"]

18:35 cmeme has joined #ocaml

18:37 wazze has quit ["Learning about how the end letters on French words are just becoming more and more silent, I conclude that one day the French]

18:50 malc has quit ["no reason"]

18:58 gim|570 has joined #ocaml

19:05 owell has joined #ocaml

19:06 <owell> Hello.

19:10 noss has quit ["hej då"]

19:15 reltuk has quit ["leaving"]

19:16 gim has quit [Connection timed out]

19:26 gim has joined #ocaml

19:34 gim|570 has quit [Read error: 60 (Operation timed out)]

20:02 Nutssh has joined #ocaml

20:40 Nomme has quit ["Leaving"]

20:52 Nutssh has quit ["Client exiting"]

21:51 cjohnson has quit [Read error: 54 (Connection reset by peer)]

21:55 The-Fixer has quit ["Goodbye"]

21:57 cjohnson has joined #ocaml

22:07 housetier has quit [Read error: 110 (Connection timed out)]

22:23 mimosa has joined #ocaml

22:24 Maddas has quit [Read error: 110 (Connection timed out)]

22:39 The-Fixer has joined #ocaml

23:30 mimosa has quit ["J'ai fini"]

23:56 gim_ has quit []