<bluestorm>
(gives an interesting duality in side effects of application / matching in strict and lazy languages)
sramsay has quit [Remote closed the connection]
komar_ has joined #ocaml
<flux>
I don't get it. why isn't the latter a valid haskell program? or it just doesn't give the expeced result?
<bluestorm>
according to the poster, it's not a valid program equivalence
<bluestorm>
(you can't replace (e) by (case e of ...) without possibly changing the meaning of your program)
<flux>
ah
<flux>
would it be changed in the presence of non-termination, or the bottom type?
<bluestorm>
"case e of ..." forces evaluation
<bluestorm>
(of e)
<bluestorm>
so yes I guess their is a difference in case of non-termination
<bluestorm>
I'm not sure however how we could make that difference explicit (as plainly typing the value is ghci cause evaluation in both cases), I quite lack of Haskell practice
qwr_ is now known as qwr
itewsh has joined #ocaml
aym has joined #ocaml
sOpen has quit [Read error: 60 (Operation timed out)]
kron4eg has joined #ocaml
Jedai has joined #ocaml
kron4eg has left #ocaml []
caligula__ has quit [bartol.freenode.net irc.freenode.net]
xevz has quit [bartol.freenode.net irc.freenode.net]
mehdid has quit [bartol.freenode.net irc.freenode.net]
tab has quit [bartol.freenode.net irc.freenode.net]
rbancroft has quit [bartol.freenode.net irc.freenode.net]
mal`` has quit [bartol.freenode.net irc.freenode.net]
mattam has quit [bartol.freenode.net irc.freenode.net]
petchema has quit [bartol.freenode.net irc.freenode.net]
gim has quit [bartol.freenode.net irc.freenode.net]
raboof has quit [bartol.freenode.net irc.freenode.net]
jimmyb2187 has quit [bartol.freenode.net irc.freenode.net]
Hadaka has quit [bartol.freenode.net irc.freenode.net]
lutter has quit [bartol.freenode.net irc.freenode.net]
patronus has quit [bartol.freenode.net irc.freenode.net]
authentic has quit [bartol.freenode.net irc.freenode.net]
deavid has quit [bartol.freenode.net irc.freenode.net]
noj has quit [bartol.freenode.net irc.freenode.net]
flux has quit [bartol.freenode.net irc.freenode.net]
qwr has quit [bartol.freenode.net irc.freenode.net]
itewsh has quit [bartol.freenode.net irc.freenode.net]
amuck_ has quit [bartol.freenode.net irc.freenode.net]
BiDOrD has quit [bartol.freenode.net irc.freenode.net]
cygnus has quit [bartol.freenode.net irc.freenode.net]
wysek has quit [bartol.freenode.net irc.freenode.net]
bohanlon has quit [bartol.freenode.net irc.freenode.net]
ulfdoz has quit [bartol.freenode.net irc.freenode.net]
bombshelter13_ has quit [bartol.freenode.net irc.freenode.net]
LeCamarade|Away has quit [bartol.freenode.net irc.freenode.net]
hkBst has quit [bartol.freenode.net irc.freenode.net]
Modius has quit [bartol.freenode.net irc.freenode.net]
poucet has quit [bartol.freenode.net irc.freenode.net]
sbok has quit [bartol.freenode.net irc.freenode.net]
nimred has quit [bartol.freenode.net irc.freenode.net]
munga has quit [bartol.freenode.net irc.freenode.net]
komar_ has quit [bartol.freenode.net irc.freenode.net]
_zack has quit [bartol.freenode.net irc.freenode.net]
Amorphous has quit [bartol.freenode.net irc.freenode.net]
thelema has quit [bartol.freenode.net irc.freenode.net]
mellum has quit [bartol.freenode.net irc.freenode.net]
bartiosze has quit [bartol.freenode.net irc.freenode.net]
bacam has quit [bartol.freenode.net irc.freenode.net]
cmeme has quit [bartol.freenode.net irc.freenode.net]
svenl has quit [bartol.freenode.net irc.freenode.net]
animist has quit [bartol.freenode.net irc.freenode.net]
_andre has quit [bartol.freenode.net irc.freenode.net]
r0bby has quit [bartol.freenode.net irc.freenode.net]
hcarty has quit [bartol.freenode.net irc.freenode.net]
rwmjones has quit [bartol.freenode.net irc.freenode.net]
maxote has quit [bartol.freenode.net irc.freenode.net]
prigaux has quit [bartol.freenode.net irc.freenode.net]
TaXules has quit [bartol.freenode.net irc.freenode.net]
easy4 has quit [bartol.freenode.net irc.freenode.net]
aij_ has quit [bartol.freenode.net irc.freenode.net]
mfp_ has quit [bartol.freenode.net irc.freenode.net]
aym has quit [bartol.freenode.net irc.freenode.net]
brendan has quit [bartol.freenode.net irc.freenode.net]
lanaer has quit [bartol.freenode.net irc.freenode.net]
Jedai has quit [bartol.freenode.net irc.freenode.net]
Asmadeus has quit [bartol.freenode.net irc.freenode.net]
Demitar has quit [bartol.freenode.net irc.freenode.net]
sgnb` has quit [bartol.freenode.net irc.freenode.net]
haelix has quit [bartol.freenode.net irc.freenode.net]
mbishop has quit [bartol.freenode.net irc.freenode.net]
tarbo2 has quit [bartol.freenode.net irc.freenode.net]
tsuyoshi has quit [bartol.freenode.net irc.freenode.net]
bluestorm has quit [bartol.freenode.net irc.freenode.net]
schme has quit [bartol.freenode.net irc.freenode.net]
hto has quit [bartol.freenode.net irc.freenode.net]
peddie has quit [bartol.freenode.net irc.freenode.net]
gildor has quit [bartol.freenode.net irc.freenode.net]
fremo has quit [bartol.freenode.net irc.freenode.net]
jonafan has quit [bartol.freenode.net irc.freenode.net]
tonyIII has quit [bartol.freenode.net irc.freenode.net]
erickt has quit [bartol.freenode.net irc.freenode.net]
jlouis has quit [bartol.freenode.net irc.freenode.net]
Pepe_ has quit [bartol.freenode.net irc.freenode.net]
ozzloy has quit [bartol.freenode.net irc.freenode.net]
bernardofpc has quit [bartol.freenode.net irc.freenode.net]
acatout has quit [bartol.freenode.net irc.freenode.net]
tomaw has quit [bartol.freenode.net irc.freenode.net]
willb has quit [bartol.freenode.net irc.freenode.net]
slash_ has quit [bartol.freenode.net irc.freenode.net]
Ori_B has quit [bartol.freenode.net irc.freenode.net]
__marius__ has quit [bartol.freenode.net irc.freenode.net]
sramsay has joined #ocaml
Jedai has joined #ocaml
aym has joined #ocaml
itewsh has joined #ocaml
komar_ has joined #ocaml
willb has joined #ocaml
ulfdoz has joined #ocaml
xevz has joined #ocaml
caligula__ has joined #ocaml
amuck_ has joined #ocaml
_zack has joined #ocaml
Asmadeus has joined #ocaml
bombshelter13_ has joined #ocaml
BiDOrD has joined #ocaml
_andre has joined #ocaml
LeCamarade|Away has joined #ocaml
hkBst has joined #ocaml
bluestorm has joined #ocaml
cygnus has joined #ocaml
r0bby has joined #ocaml
schme has joined #ocaml
deavid has joined #ocaml
authentic has joined #ocaml
Amorphous has joined #ocaml
noj has joined #ocaml
Demitar has joined #ocaml
hto has joined #ocaml
mehdid has joined #ocaml
petchema has joined #ocaml
mal`` has joined #ocaml
mattam has joined #ocaml
rbancroft has joined #ocaml
gim has joined #ocaml
raboof has joined #ocaml
tab has joined #ocaml
slash_ has joined #ocaml
haelix has joined #ocaml
Ori_B has joined #ocaml
hcarty has joined #ocaml
rwmjones has joined #ocaml
flux has joined #ocaml
jimmyb2187 has joined #ocaml
Modius has joined #ocaml
thelema has joined #ocaml
poucet has joined #ocaml
peddie has joined #ocaml
maxote has joined #ocaml
acatout has joined #ocaml
lanaer has joined #ocaml
lutter has joined #ocaml
tomaw has joined #ocaml
bernardofpc has joined #ocaml
sgnb` has joined #ocaml
nimred has joined #ocaml
mfp_ has joined #ocaml
easy4 has joined #ocaml
bacam has joined #ocaml
animist has joined #ocaml
tonyIII has joined #ocaml
Pepe_ has joined #ocaml
TaXules has joined #ocaml
ozzloy has joined #ocaml
cmeme has joined #ocaml
bohanlon has joined #ocaml
wysek has joined #ocaml
jonafan has joined #ocaml
brendan has joined #ocaml
munga has joined #ocaml
erickt has joined #ocaml
svenl has joined #ocaml
tarbo2 has joined #ocaml
sbok has joined #ocaml
mbishop has joined #ocaml
tsuyoshi has joined #ocaml
gildor has joined #ocaml
aij_ has joined #ocaml
bartiosze has joined #ocaml
mellum has joined #ocaml
prigaux has joined #ocaml
fremo has joined #ocaml
jlouis has joined #ocaml
qwr has joined #ocaml
patronus has joined #ocaml
Hadaka has joined #ocaml
__marius__ has joined #ocaml
clog has joined #ocaml
hkBst has quit [Read error: 104 (Connection reset by peer)]
aym has quit []
Jedai has quit [Read error: 110 (Connection timed out)]
willb has quit [Read error: 60 (Operation timed out)]