gl 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 | http://icfpcontest.org/ !!
maihem has quit ["Read error: 54 (Connection reset by chocolate)"]
smimou has quit ["?"]
Banana has quit [Read error: 60 (Operation timed out)]
Banana has joined #ocaml
vezenchio has quit ["According to [a processor for game design], you statistically have a better chance of becoming a rock star than you do of suc]
eno has joined #ocaml
Nutssh has quit ["Client exiting"]
Nutssh has joined #ocaml
tomasso has joined #ocaml
eno has left #ocaml []
Nutssh has quit ["Client exiting"]
ne1 has joined #ocaml
ne1 has quit ["To understand recursion, you must first understand recursion."]
kinners has joined #ocaml
bk_ has joined #ocaml
cjohnson has quit [Remote closed the connection]
eigenspace has joined #ocaml
webfiend has joined #ocaml
mmc has joined #ocaml
kinners has quit [Read error: 104 (Connection reset by peer)]
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
eigenspace has quit ["Leaving"]
maihem has joined #ocaml
wolfman8k has joined #ocaml
Petruchio has joined #ocaml
webfiend has quit [Read error: 60 (Operation timed out)]
bk_ has joined #ocaml
buggs^z has joined #ocaml
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
mattam_ is now known as mattam
frenchfag has joined #ocaml
buggs has quit [Read error: 110 (Connection timed out)]
mrsolo has quit [Read error: 104 (Connection reset by peer)]
smimou has joined #ocaml
smimou has quit [Client Quit]
smimou has joined #ocaml
maihem has quit ["Read error: 54 (Connection reset by chocolate)"]
bk_ has joined #ocaml
frenchfag has left #ocaml []
smimou has quit ["?"]
smimou has joined #ocaml
stesch has joined #ocaml
<stesch> Hmm. The author should test http://merjis.com/richj/computers/ocaml/tutorial/ with mozilla ...
<stesch> And Opera. :-)
<stesch> Maybe it's a lynx website ...
<smimou> it looks fine with firefox
<stesch> smimou: Not here. Maybe my 19" monitor is too small.
<smimou> hum, I have a 17"...
<stesch> On fullscreen I just see "Learning OCaml, for C, C++, Perl and".
<stesch> The rest of the headline is missing.
<smimou> oh yes you're right I did not notice that
<bk_> looks fine w/ mozilla, too
<bk_> "Learning OCaml, for C, C++, Perl and Java"
seafood has joined #ocaml
<seafood> Would you guys here say that this is the most popular ocaml channel on any irc server?
<seafood> Because the haskell one is almost certainly the most popular one that exists on any server.
<stesch> seafood: yes.
<wolfman8k> it's not only the most popular channel: it's the only one! :D
<stesch> Like "The best hotel in town" when there's just one ... :-)
<seafood> Is there a native code compiler for Mac OS X?
stesch has left #ocaml []
vezenchio has joined #ocaml
buggs^z is now known as buggs
Snark has joined #ocaml
<Snark> slt
<seafood> I'll ask my question again. Is there a native code generator for Mac OS X?
Lemmih has quit [Remote closed the connection]
Lemmih has joined #ocaml
Axioplase has joined #ocaml
<Axioplase> Chat Lu!
<nom`> hello
<wolfman8k> O_O
tomasso has quit ["Leaving"]
maihem has joined #ocaml
ne1 has joined #ocaml
Submarine has joined #ocaml
nom` has quit [Remote closed the connection]
Lemmih has quit [Remote closed the connection]
mrsolo has joined #ocaml
Lemmih has joined #ocaml
ne_one has joined #ocaml
ne1 has quit [Read error: 54 (Connection reset by peer)]
<vincenz> Anyone around?
<Snark> vincenz: bouh
<Snark> but don't even hope an answer :-)
<vincenz> hmm k
<Snark> vincenz: still, as the saying goes: "on irc, never ask to ask, just ask"
<vincenz> Actually I have two questions
<vincenz> First of all...for modules
<vincenz> if you put the sig and struct in .mli and .ml files
<vincenz> you drop the actual name of the module in module Graph struct....end
<vincenz> you just put the ...
<vincenz> so I'm curious how you'd make a functor then
<vincenz> secondly
<vincenz> Constructors have to have unique names
<vincenz> Constructors being the things in options such as
<vincenz> let 'a option = None | Some 'a
<vincenz> the None and Some
<vincenz> now if I make a module Tree with type 'a t
<vincenz> but hide the implementation
<vincenz> so I can provide a nice ADT
<vincenz> can I use Empty as constructor
<vincenz> and in another module (also with hidden implementation) reuse this Empty
<vincenz> ?
<Snark> vincenz: for the second, you should really use Tree.empty and Whatever.empty
<Snark> if the caml parser has a hard time figuring out the program, chances are a human will have to! ;-)
<vincenz> Nono
<vincenz> Oh wait
<vincenz> Constructor names can be reused?
<vincenz> if they're in different modules
<vincenz> And it's not .empty it's Empty
<vincenz> cause
<vincenz> type 'a t= Empty | Tree 'a * 'a t * 'a
<vincenz> type 'a t= Empty | Tree of 'a * 'a t * 'a
<vincenz> Now if I share this definition
<vincenz> I won't be able to do something like
<vincenz> (in graph.mli)
<vincenz> type 'a t = Empty | Graph xxxx
<vincenz> I use modules in an oop-way, every module defines one type t (or here 'a t)
<vincenz> and every func takes as first param this type
<vincenz> (except for create of course)
<vincenz> ugh
<Demitar> vincenz, you might even want to make t abstract then. :)
<vincenz> help me decide
<vincenz> Demitar: I do
<vincenz> tree.mli : type 'a t
<vincenz> that's it
<Demitar> Decide what?
<vincenz> Go for a balanced tree or a tree on which you can map?
<vincenz> meh
<Demitar> What are you building the tree for btw?
<vincenz> to be used in graphs
<vincenz> so balanced trees
<vincenz> just that I don't want to limit it's possibilities
<Demitar> Why are you writing this code?
<vincenz> to do graph-processing
<vincenz> to_list and of_list
<vincenz> Basically I want to have a graph ADT
<vincenz> now how are graphs usually implemented?
<Demitar> Remember that the standard library already has a map tree. And there are a few graph libraries out there already.
<vincenz> map tree?
<Demitar> Well it's a functional hash but is implemented as a binary tree.
<vincenz> oh!
<vincenz> is it space-efficient?
<Demitar> Don't as me. But that sounds like a good feature it could have. ;-)
* vincenz hmms
<Submarine> The balanced trees in stdlib are the next best thing since sliced bread.
<vincenz> you mean the ocaml stdlib?
* Demitar mostly uses Hashtbl though... :-)
<Submarine> yeah
<ne_one> Both are good.
webfiend has joined #ocaml
<mattam> also, its correctness has been formally proved :)
<mattam> (the AVL implementation only, not the whole std-lib)
cjohnson has joined #ocaml
<Submarine> By JC Filliâtre
<Submarine> and by myself, actually
<mattam> yeah ?
<mattam> you know him ?
<Submarine> Well, yes, indeed.
<Submarine> I'm actually right now working on slides I'm supposed to present at his group's seminar.
<mattam> Oh, when and where ?
<Submarine> LRI, June 25, 2004
mattam_ has joined #ocaml
mattam has quit [Nick collision from services.]
mattam_ is now known as mattam
<mattam> (didn't see any answer)
<Submarine> LRI, June 25, 2004
<mattam> i mean, for my next questions :) did you see them ?
<Submarine> no
<Submarine> you probably had a connection problem
<mattam> do you have some homepage or something ?
<Submarine> www.astree.ens.fr
<mattam> (just dynamic adsl)
<mattam> oh abstract interpretation i suppose ?
<Submarine> yeah
<mattam> can anyone access to astree's sources ?
<mattam> bad question i guess :(
<Submarine> No.
<Submarine> The industrial partners who fund the stuff don't want it to be open source.
smimou has quit ["?"]
smimou has joined #ocaml
Phreaze has joined #ocaml
mmc has quit [Read error: 104 (Connection reset by peer)]
<bk_> allez les bleus
<bk_> jesus i don't even like football
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
Axioplase has quit [Nick collision from services.]
Phreaze is now known as Axioplase
sundeep has joined #ocaml
Snark has quit [Read error: 110 (Connection timed out)]
Snark has joined #ocaml
maml has joined #ocaml
wolfman8k has quit ["Leaving"]
sundeep has quit ["Client exiting"]
Snark has quit [Read error: 60 (Operation timed out)]
Nutssh has joined #ocaml
Submarine has left #ocaml []
GreyLensman has joined #ocaml
Nutssh has quit ["Client exiting"]
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
GreyLensman has quit ["Leaving"]
webfiend has quit [Read error: 54 (Connection reset by peer)]
maihem has quit ["Read error: 54 (Connection reset by chocolate)"]
smimou has quit ["?"]
Axioplase is now known as Axio|Away
* Axio|Away now rests in peace. (Auto-dead after 20 min idle) (Log: ON)
Axio|Away is now known as Axioplase
* Axioplase is back. Gone for 22 min 22 sec.