01:08 <goomba> wow, an ocaml channel with people! :)

01:08 <Riastradh> No, we're all zombies.

01:08 <vincenz> anyone use mod_caml?

01:08 <vincenz> I can't get it to work

01:08 <vincenz> compiles fine....

01:08 <vincenz> but when I start httpd it won't launch the .so

01:10 <abarrett> ... which looks oddly like a pickled jalapeno.

01:10 <vincenz> anyone?

01:13 <abarrett> vincenz, perhaps if you elaborated...

01:30 <vincenz> I did

01:30 <vincenz> never mind

01:30 <vincenz> it's too late, I'm too tired

01:30 <vincenz> nightynight

06:44 <alex-i> Hello

06:45 <Robert> Hi, alex-i

06:46 <alex-i> I'm reading faq now. Where would I be able to find the information about real life applications of ocaml?

06:47 <Robert> Check the links in the topic. I'm pretty clueless. :(

06:47 <alex-i> k

11:50 <systems> sup

17:43 <avlondono> hello everyone. anyone using labltk? is tk_chooseDirectory somewhere or is it just missing?

19:35 <thomas001> hi,how do i declare 2 functions with depend on each other?

19:36 <Banana> thomas001: let rec f x = ..... and g y = ....

19:36 <thomas001> ah i forgot the rec,tought it's only for direct recursion...

19:44 <thomas001> i'm trying to stick to functional programming,but i don't know how to continue: my programs reads input like A:B C;B:A. which means A has references to B and C and B has a reference to A. but how to create such recursive data structures? i can't create a objectt for A until i know B,but B can't be created unless there is an object for A....

19:46 <Banana> thomas001: well there are many was to deal with it.

19:46 <thomas001> in C++ i would create the object and set the reference afterwards,but thats not functional...what whould you suggest?

19:47 <Banana> if you want to be purelly functionnal, you'll have to duplicate A...

19:47 <Smerdyakov> That's a silly piece of advice, Banana.

19:47 <Smerdyakov> thomas001, you can use a layer of indirection.

19:47 <Banana> Smerdyakov: i wasn't finished talking.

19:48 <Smerdyakov> thomas001, an object's reference list contains a list of _names_, not a list of other objects of the same type.

19:48 <thomas001> Smerdyakov: yes,but thats kind of slow.....i would have to resolve the objects by name

19:49 <Smerdyakov> thomas001, "names" can be indices into an array.

19:50 <thomas001> or i resolve the names when all data is read...

19:52 <Smerdyakov> I don't know what exactly you mean by that, but do you still think you have a problem?

19:53 <thomas001> no not really,i'm only thinking which solution is the prettiest,thanks for the help!

20:44 <thomas001> can i do forward declaration of a class?

20:47 <Smerdyakov> I don't think OCaml allows any forward declarations of any kind. Instead, you use mutually recursive definitions.

20:47 <Smerdyakov> Mutually recursive class types, at least, are possible.

20:48 <thomas001> can classes and functions be recursive?

20:51 <Zaius> you dont need forward declaration, because you can always specify an arbitraty interface. therefore classes can be recursive too

20:52 <Smerdyakov> Zaius, I don't know that this is true. This isn't any less complicated than the general case of recursive types.

20:56 <Smerdyakov> thomas001, whenever you want to see if some definition construct can be mutually recursive, try using 'and' in the usual way. (And adding 'rec' at the beginning of that doesn't do it)

20:56 <karryall> thomas001: you can declare a class type and then define the class, that's useful in some cases

20:57 <thomas001> i'll look at it thanks

21:01 <Smerdyakov> Types aren't the only reasons you want recursion, though.

21:01 <Smerdyakov> Sometimes you want a set of classes that all make use of each other.

22:11 <Axioplase> Chat Lu!

22:16 <Robert> Good evening