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)]
<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!"]