dylan changed the topic of #ocaml to: OCaml 3.09.1 available! Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
shawn has quit ["This computer has gone to sleep"]
Axioplase has quit ["leaving"]
altDanly is now known as danly
xahlee__ has joined #ocaml
<xahlee__> are there more users of O'Caml/ML or Haskell?
<dylan> Yes.
<Smerdyakov> I don't know.
<xahlee__> i think haskell?
<dylan> I think bacon is more popular than any of them.
<Smerdyakov> xahlee__, again, beats me, but somehow I think ML is at least used more in industry.
<xahlee__> dylan: i think: lisper > haskeller > mler
<Smerdyakov> I hope ML and Haskell would be reconciled with a common successor in the next few years.
<xahlee__> Smerdyakov: there's f#
<Smerdyakov> F# has nothing to do with that goal.
<xahlee__> but it's ML
<dylan> F# has nothing to do with haskell.
<Smerdyakov> F# is OCaml minus the O and plus the #.
<Smerdyakov> (In other words, use .NET idioms instead of OCaml's OO.)
<dylan> Smerdyakov: it lacks functors too, yes?
<Smerdyakov> dylan, it did the last time I used it.
<Smerdyakov> So I guess it's also "minus the module system."
<Smerdyakov> Which is definitely a big slap to the face.
<dylan> indeed.
<dylan> Hmm, does anyone know why ocaml lacks support for shared library loading on openbsd?
<Smerdyakov> I hope that something more like Coq will be the successor to OCaml and Haskell. :)
xahlee__ has left #ocaml []
khaladan has quit [Read error: 104 (Connection reset by peer)]
bohanlon has joined #ocaml
<zmdkrbou> yeah mr bohanlon
* zmdkrbou is a little bit drunk
* dylan hands zmdkrbou a lamp-shade hat.
<zmdkrbou> lamp-shade hat ?
<zmdkrbou> what does it mean ?
<dylan> hmm, old old film gag.
<dylan> Drunk people are supposed to wear lamp-shades as hats.
<dylan> (because they are drunk and silly)
* zmdkrbou 's silly :)
<zmdkrbou> mouahahahaha
<zmdkrbou> is that you on the photo ?
<dylan> nope.
<zmdkrbou> erf :(
<dylan> just some internet person.
<zmdkrbou> :)
<dylan> When I drink, I don't get silly. I get violent. I'm irish. ;)
* zmdkrbou 's quite drunk now
<zmdkrbou> dylan: oh, ok :D
<zmdkrbou> violent when drunk is good :)
<zmdkrbou> irish++
<zmdkrbou> :)
<dylan> and now I'm being dragged to bed.
<zmdkrbou> oh yes ?
<zmdkrbou> what time for you ?
* zmdkrbou 6:22 AM, back from party, quite hard to stay alive
<zmdkrbou> erf 6:24 now
shawn has joined #ocaml
ketty has joined #ocaml
<ketty> does anyone know where to report bugs for lablgtk2?
Smerdyakov has quit ["Leaving"]
<love-pingoo> ketty: isn't there a lablgtk mailing list ?
<ketty> i havent been able to joint it :(
Skal has joined #ocaml
joshcryer has quit [Client Quit]
pango is now known as pangoafk
mrsolo_ has joined #ocaml
pangoafk is now known as pango
mrsolo__ has quit [Read error: 104 (Connection reset by peer)]
pango is now known as pangoafk
Revision17 has joined #ocaml
revision17_ has quit [Read error: 110 (Connection timed out)]
ramkrsna has quit [Read error: 110 (Connection timed out)]
ramkrsna has joined #ocaml
Schmurtz has joined #ocaml
kryptt has joined #ocaml
pangoafk is now known as pango
_JusSx_ has joined #ocaml
_JusSx_ has quit ["leaving"]
kryptt has left #ocaml []
ketty has quit ["Leaving."]
ketty has joined #ocaml
slipstream has joined #ocaml
schlick has joined #ocaml
slipstream-- has quit [Read error: 110 (Connection timed out)]
schlick has left #ocaml []
Smerdyakov has joined #ocaml
ski has quit [Read error: 110 (Connection timed out)]
ertai has quit [Read error: 110 (Connection timed out)]
alch` has quit ["My damn controlling terminal disappeared!"]
ski has joined #ocaml
|Lupin| has joined #ocaml
<|Lupin|> Hello, there.
<zmdkrbou> lo |Lupin| :)
<|Lupin|> I'm wondering how to provide a hash table over strings. Is it really necessary toWrite a hash function on strings, or does Caml provide one somewhere ?
<|Lupin|> zmdkrbou: hi :)
<zmdkrbou> mmmh caml.inria.fr seems down here :(
<|Lupin|> oh maybe there is a problem with thepower, there. I think we got a mail about that. Don't know when the poreroff isSupposedTo occur.
smimou has joined #ocaml
<|Lupin|> thanks anyway
<|Lupin|> C U
|Lupin| has left #ocaml []
_JusSx_ has joined #ocaml
pango is now known as pangoafk
pangoafk is now known as pango
bluestorm has joined #ocaml
ulfdoz has quit ["reboot0rn"]
ulfdoz has joined #ocaml
iorek has joined #ocaml
<iorek> hey
<_JusSx_> hey
<ski> yeh
Skal has quit [Remote closed the connection]
palomer has joined #ocaml
<palomer> hello
<ketty> hello
<palomer> has there been any effort into putting polymorphic recursion into ocaml?
<_JusSx_> sorry i can't reply
<ketty> me neither...
<bluestorm> what do you call polymorphic recursion ?
<bluestorm> (why don't use a Sum type ?)
<palomer> it has nothing to do with sum types!
<_JusSx_> i have a question for you, ocaml develpoers. what build tool do you use? OMAKE? make?
<dylan> I use the one I created for myself, of course. ;)
<palomer> I would use scons
<ketty> i use scons..
<_JusSx_> scons?
<_JusSx_> humm
<palomer> but I don't program in ocaml
<dylan> python-based build tool. Pretty neat.
<_JusSx_> i read something.
<dylan> omake is pretty cool too, but a bit weird, IMO, in not requiring words to be quoted.
<ketty> Standard ML with polymorphic recursion: http://www.cis.uni-muenchen.de/~leiss/polyrec.html
<bluestorm> hum
<bluestorm> it seems that you could do something like that using polymorphic types
<bluestorm> Sum types, i mean
<dylan> I'm only sorry I spent six months writing something similar to omake before I read about it.
<palomer> ketty: yeah, that does type inference with polymorphic recursion
<palomer> I just want type checking
lispy has joined #ocaml
iorek has quit ["Leaving"]
mrsolo_ has quit [Read error: 104 (Connection reset by peer)]
mrsolo_ has joined #ocaml
bluestorm has quit [Remote closed the connection]
_JusSx_ has quit ["leaving"]
mikeX has joined #ocaml
smimou has quit ["bli"]
khaladan has joined #ocaml
love-pingoo has quit ["Connection reset by by pear"]
dark_light has joined #ocaml
khaladan has quit [Read error: 104 (Connection reset by peer)]