04:56 <ulfdoz_> re

11:10 <_JusSx_> i need a build system for ocaml any idea?

12:43 <barfoos> hello

12:44 <barfoos> is there some default way, of printing out an error message and quiting the programm after having caught an exception?

14:04 <pango_> barfoos: Printexc module ?

14:04 <pango_> http://caml.inria.fr/pub/docs/manual-ocaml/libref/Printexc.html

14:42 <barfoos> thanks

15:19 <barfoos> How can I copy stdin to a file without implementing busywaiting? Is there a way to bind an action to a signla, such that this action will always be called, when there is something on stdin?

15:20 <pango_> a thread ?

15:21 <barfoos> good idea. but i don't want to put the thread into an endlessloop, whish will occupy my cpu.

15:22 <dan2> barfoos: nonblocking i/o

15:22 <pango_> in the thread you use the usual blocking read()

15:23 <barfoos> ah i see

15:23 <barfoos> thanks.

15:24 <barfoos> by the way: is this actualy the right channel to post such questions? or is this more a channel about the internas of ocaml?

15:24 <dan2> we answer all questions we can

15:24 <dan2> because ideally people who show up here aren't too stupid

15:24 <dan2> :)

15:27 <barfoos> i'm pretty new to ocaml. and you probalby would not be wrong to suggest to me to go and read a book about it before asking questions here. problem is that i did not have the time to read such a book, but i got a task to solve, so i'm very pleased to have got such short and preciese answers. thanks.

15:27 <dan2> are you using ocaml to solve the problem?

15:27 <barfoos> yes

15:27 <dan2> :)

15:28 <dan2> as a language, ocaml is amazing ...

15:28 <dan2> maximizing expressiveness

15:28 <dan2> let sum (a,b) = a + b

15:28 <dan2> that would take an int tuple and return the sum of digits ;)

15:29 <barfoos> i'm not thaat stupid :)

15:29 <dan2> no, but its amazing how much you can do with such little syntax

15:30 <barfoos> i'm pretty keen to see how the object orientet stuff is implemented. I've seen it in lisp and was quit disapointed, because it was such strange syntax.

15:31 <dan2> OO is a fuckup really...

15:31 <barfoos> ohhh

15:31 <dan2> its been around for a LONG time and nobody fully understands it

15:31 <dan2> but it solved a common class of problems associating data with its functions

15:32 <barfoos> you mean polymorphism and dynamic binding?

15:33 <dan2> barfoos: however, C++ while a failure as a language spec, offers great templating

15:33 <dan2> barfoos: yes

15:33 <dan2> templates were only made to help make more generic code

15:33 <dan2> but people beat templates out in many unseen ways

15:33 <dan2> template metaprogramming

15:34 <dan2> its all about compile time optimization and offers a lot

15:34 <barfoos> i've seen polymorphism (ad-hoc and parametric) in haskell, wish (as far as i know) does not do OO.

15:34 <dan2> barfoos: no, classes = data + functions

15:36 <barfoos> so they don't have it in haskell?

15:36 <dan2> nope

15:37 <barfoos> ah ok.

15:38 <dan2> I think java could have been better if it had templates or something similar

15:38 <dan2> generics are poorly named

15:38 <dan2> generics == typesafe containers

15:38 <dan2> which is a wonder why they didn't have it for so long

15:39 <barfoos> you mean generics aren't as strong as templates?

15:39 <dan2> no, they only add typesafety to containers

15:39 <dan2> thats it

15:39 <dan2> they have no other purpose

15:39 <dan2> templates allowed for code genericity

15:40 <barfoos> a thats a pitty. i thought with generics they would finally bring this functionality to java.

15:40 <dan2> and java has it really fucked because its still one of hte only languages where map can't be implemented

15:40 <araujo> dan2, why is that?

15:41 <dan2> araujo: function pointers don't exist

15:41 <barfoos> on the other hand. all the world that does do imperative programming isn't so much interessted in typesafety, so why did they actually introduce generics, when it only solves this problem?

15:41 <araujo> so, functions aren't first class objects?

15:41 <dan2> nope

15:42 <dan2> well its clear why they did it

15:42 <dan2> they knew if they brought templates in, it would really break the language as we know it

15:43 <barfoos> thats a point

15:43 <araujo> why?

15:44 <dan2> templates add so much functionality that its so ridiculously hard to test the implementation

15:44 <dan2> people have broken templates in so many ways

15:44 <dan2> :)

15:46 <dan2> it would make java an unstable language

15:46 <dan2> thats not what sun wants

18:24 <barfoos> in which module do I find read and write operations?

18:31 <barfoos> i found it. it's in the Pervasives module

20:06 <dan2> barfoos: you mean Unix right?

20:15 <ulfdoz_> bye

20:56 <barfoos> bye

23:08 <barfoos> hello again. It took me the whole day to produce 50 lines of code. and they don't work. Could I post these lines and someone would look at them?