vinge.freenode.net changed the topic of #ocaml to: OCaml 3.06 released: http://caml.inria.fr/ocaml/distrib.html | http://www.ocaml.org/ | http://caml.inria.fr/oreilly-book/ | http://icfp2002.cs.brown.edu/ | SWIG now supports OCaml
vaibhav has quit [Read error: 110 (Connection timed out)]
skylan has quit [Read error: 104 (Connection reset by peer)]
vaibhav has joined #ocaml
skylan has joined #ocaml
vaibhav has left #ocaml []
gl has quit [Read error: 104 (Connection reset by peer)]
gl has joined #ocaml
MegaWatS has quit ["Oceania has ALWAYS been at war with Eastasia!"]
graydon has quit [Remote closed the connection]
gl has quit [Read error: 113 (No route to host)]
gl has joined #ocaml
olczyk has joined #ocaml
<olczyk> Anyone here?
Yurik has joined #ocaml
<olczyk> Is there anyother decent GUI for ocaml besides lablgtk?
olczyk has quit [Read error: 110 (Connection timed out)]
mrvn_ has joined #ocaml
mrvn has quit [Read error: 110 (Connection timed out)]
thierry_ has joined #ocaml
thierry has quit [Read error: 110 (Connection timed out)]
smklsmkl has joined #ocaml
* thierry_ is back (gone 00:31:30)
thierry_ is now known as thierry
<thierry> salut
<xtrm> comme hier je vais te repondre: hello :)
smkl has quit [Read error: 110 (Connection timed out)]
<thierry> xtrm: :)
<xtrm> pas tres bavard le chan qd meme
<thierry> exact..
<xtrm> t'as porté ocaml sous le hurd ? :)
<xtrm> jvais peut etre essayer le ipaq tiens pour voir
smklsmkl is now known as smkl
TachYon25 has joined #ocaml
cleverdra has joined #ocaml
ayrnieu has joined #ocaml
cleverdra has quit [Read error: 110 (Connection timed out)]
ayrnieu is now known as cleverdra
ayrnieu has joined #ocaml
Yurik has quit [Read error: 104 (Connection reset by peer)]
xtrm_ has joined #ocaml
cleverdra has quit [Read error: 110 (Connection timed out)]
ayrnieu is now known as cleverdra
lam has quit [Read error: 110 (Connection timed out)]
xtrm has quit [Read error: 110 (Connection timed out)]
ayrnieu has joined #ocaml
<ayrnieu> hm, you can't match a pattern that contains a variable several times? Can you determine if parts of a structure are equal in pattern-matching at all, then?
<smkl> use when clause
cleverdra has quit [Read error: 104 (Connection reset by peer)]
ayrcier has joined #ocaml
<ayrcier> if anyone relied to me as ayrnieu, I didn't get it. Sorry.
<smkl> use when clause
<ayrcier> ah, of course! I hadn't read about that, yet =)
<ayrcier> Thank you.
ayrcier is now known as cleverdra
xtrm_ is now known as xtrm
ayrnieu has quit [Connection timed out]
gene9 has joined #ocaml
<cleverdra> Is there any difference between (function x -> x+x) and (fun x -> x+x) ?
<gl> function takes only one argument
systems has joined #ocaml
<gl> cleverdra: try "function x y -> x+y"
<smkl> also try "fun Some x -> x | None -> 0"
TachYon25 has quit [Read error: 110 (Connection timed out)]
<cleverdra> hm, OK.
<cleverdra> How do you get pattern-matching and multiple arguments in an anonymous function, then?
<smkl> perhaps fun + match
systems has quit ["Client Exiting"]
<gl> let foobar = fun x y -> ... | _ -> ... ?
<gl> oh anonymous
TachYon25 has joined #ocaml
<gl> well, it s the same idea
<cleverdra> let fun x y -> match [x,y] with [0,0] -> [0,1] | [x,y] -> [y,x];; =)
<cleverdra> except that I get a warning about that being 'non-exhaustive', which is wrong.
<smkl> cleverdra: use (x,y)
<mrvn_> cleverdra: function Some x -> (function Some y -> x + y | None -> x) | None -> function Some y -> y | None -> 0
<cleverdra> Yes, that too =) Thank you.
<mrvn_> cleverdra: but function x -> function y -> match (x,y) with (0,0) ... is more readable.
thierry has quit [Remote closed the connection]
<cleverdra> mrvn - but if you do that, why not use 'fun' instead?
<mrvn_> or fun x y -> as short form of that
<gl> cleverdra: it s the same thing.. but if you use function x -> function y, you can see more easily the curryfication
* cleverdra nods.
gene9 has quit ["Client Exiting"]
xtrm has quit [card.freenode.net irc.freenode.net]
mrvn_ has quit [card.freenode.net irc.freenode.net]
pnou has quit [card.freenode.net irc.freenode.net]
Dybbuk has quit [card.freenode.net irc.freenode.net]
TachYon25 has quit [card.freenode.net irc.freenode.net]
gl has quit [card.freenode.net irc.freenode.net]
skylan has quit [card.freenode.net irc.freenode.net]
merriam has quit [card.freenode.net irc.freenode.net]
TachYon25 has joined #ocaml
xtrm has joined #ocaml
mrvn_ has joined #ocaml
gl has joined #ocaml
skylan has joined #ocaml
Dybbuk has joined #ocaml
pnou has joined #ocaml
merriam has joined #ocaml
ayrnieu has joined #ocaml
ayrnieu has quit [Read error: 113 (No route to host)]
ayrnieu has joined #ocaml
ayrnieu has quit [card.freenode.net irc.freenode.net]
cleverdra has quit [card.freenode.net irc.freenode.net]
physarum has quit [card.freenode.net irc.freenode.net]
ayrnieu has joined #ocaml
cleverdra has joined #ocaml
physarum has joined #ocaml
cleverdra has quit [Connection timed out]
ayrnieu is now known as cleverdra
physarum has quit [card.freenode.net irc.freenode.net]
cleverdra has quit [card.freenode.net irc.freenode.net]
cleverdra has joined #ocaml
physarum has joined #ocaml
ayrnieu has joined #ocaml
TachYon25 has quit ["bez ki³y nie ma zaliczenia (z prawd studentek AM)"]
physarum has quit [card.freenode.net irc.freenode.net]
cleverdra has quit [card.freenode.net irc.freenode.net]
ayrnieu is now known as cleverdra
lam_ has joined #ocaml
cleverdra has quit [Read error: 110 (Connection timed out)]
gl has quit [Read error: 104 (Connection reset by peer)]
gl has joined #ocaml
gl has quit [Read error: 104 (Connection reset by peer)]
gl has joined #ocaml
cleverdra has joined #ocaml
physarum has joined #ocaml
gl has quit [Read error: 104 (Connection reset by peer)]
gl has joined #ocaml
two-face has joined #ocaml
<two-face> oy
<cleverdra> hello two-face
<two-face> hello
foop has joined #ocaml
foop has left #ocaml []
<two-face> it is from you ?
<cleverdra> No =) I just found it from the Hump.
<two-face> ah :)
<two-face> cleverdra: here :)
<two-face> cleverdra: let's not offed emacs people
<cleverdra> err, OK =)
<two-face> cleverdra: however i don't think you can have all scripting languages at a time
TimFreeman has joined #ocaml
<two-face> hi TimFreeman
TimFreeman has left #ocaml []
<cleverdra> two-face - I don't see why it wouldn't build with all of them at once, but I didn't try.
<two-face> cleverdra: debian is shipping one package per language flavour
<cleverdra> two-face - wierd, but OK.
<cleverdra> two-face - I've definitely built with Python/Ruby, before. The extension languages are somewhat loosely bound.
<two-face> cleverdra: ah
<two-face> cleverdra: I'll stick to emacs:)
cleverdra has quit [Read error: 104 (Connection reset by peer)]
ayrnieu has joined #ocaml
<two-face> yo
<ayrnieu> hello again.
<two-face> again ?
<ayrnieu> I'm cleverdra.
<two-face> ah
<ayrnieu> who, oddly, is alive but not still haunting this channel.
<two-face> what happened?
<Dybbuk> I'm here. :)
<ayrnieu> A program crashed in such a way that a stupid windows error-box kept reviving itself. Since I couldn't get rid of it, and I couldn't see through it, I rebooted. Blech.
<two-face> hi Dybbuk
<two-face> ayrnieu: ok
<Dybbuk> two-face: Howdy!
ayrnieu has quit ["Leaving"]
MegaWatS has joined #ocaml
<two-face> bye
two-face has left #ocaml []
cipher_space has joined #ocaml
cipher_space has left #ocaml []
MegaWatS has quit ["Oceania has ALWAYS been at war with Eastasia!"]