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>
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
<
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!
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 :-)
<
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>
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
<
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>
Constructor names can be reused?
<
vincenz>
if they're in different modules
<
vincenz>
And it's not .empty it's Empty
<
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)
<
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?
<
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>
is it space-efficient?
<
Demitar>
Don't as me. But that sounds like a good feature it could have. ;-)
<
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... :-)
<
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>
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>
you probably had a connection problem
<
mattam>
do you have some homepage or something ?
<
mattam>
(just dynamic adsl)
<
mattam>
oh abstract interpretation i suppose ?
<
mattam>
can anyone access to astree's sources ?
<
mattam>
bad question i guess :(
<
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.