03:03 <eyda|mon> just came accross a book "Ocaml for Experienced Programmers" (http://www.bogonomicon.com/bblog/book/html/book1.html) where the author says "... Ocaml is bad at is banging directly on hardware. Ocaml would be a horrible choice to write an operating system, device driver, or low-level embedded program, or a hard real-time program in. In this arena, C is still king." . Having recently read an article on Desert Spring-Time (An Ocaml OS

03:03 <eyda|mon> http://dst.purevoid.org/) I'm wondering what people's opionion is?

03:04 <araujo> That sounds like a very bad book.

03:04 <araujo> :-)

03:14 <mlh_> or that's a very bad OS :-O

03:17 <araujo> mm.. i don't get it..

03:17 <Smerdyakov> araujo, that is too bad.

03:17 <araujo> I just see a bunch of .c files for that kernel...

03:17 <araujo> Hello Smerdyakov :-)

03:19 <araujo> Smerdyakov, seen this http://dst.purevoid.org ?

03:21 <Smerdyakov> Yup. Heard about it in top secret Microsoft mail!!

03:22 <araujo> :-P

04:28 <eyda|mon> hm

04:28 <eyda|mon> so no specific opinions on wether ocaml would be a horrible choice to write device drivers in?

04:35 <ulfdoz> re

04:58 <ulfdoz> But there should be no problem to write the low level stuff in C and a highly portable Core in Ocaml.

04:59 <ulfdoz> Strange, my irssi scrambles servers and channels in a weird way. :\

06:11 <eyda|mon> "Apple Computer is expected to announce Monday that it's ending its tumultuous relationship with IBM and will switch to Intel's microprocessors, according to published reports." interesting

12:41 <Zaius> greetings gentleman,

12:41 <Zaius> has any of you ever tried to use japanese characters in caml programs, ocamldoc especially - is there hope to make it work?

14:03 <raboof> hi. what is the neatest way to convert [()] into something the typechecker allows (like plain () )? ;)

14:04 <raboof> (i get it as the result of a map

14:10 <mattam> ?

14:11 <mattam> is it a joke or ... ?

14:11 <raboof> no i'm serious, just not awfully clear i guess :)

14:12 <raboof> i'm doing a "map (print_tyarg namelist) bindings", where "print_tyarg namelist binding" returns a unit

14:12 <mattam> do iter instead

14:14 <raboof> ah, sweet, thanks

14:26 <ralf> hi all

14:26 <ralf> ocaml can cross compile to MIPSel?

16:02 <TeXitoi> ralf: http://caml.inria.fr/ocaml/portability.en.html

16:03 <TeXitoi> ocaml can't native compile for mipsel

16:03 <TeXitoi> but you can use the bytecode

16:03 <TeXitoi> you have to compile the vm for mipsel, and then, you compile you're bitecode where you want

16:06 <TeXitoi> s/you're bitecode/your bytecode/

16:08 <senko> i'm bitecode! :)

16:14 <TeXitoi> ouch! ;-)

20:17 <Snark> good night

22:05 <ulfdoz> Gute Nacht/Good Night

22:06 <bk_> gn8