#ocaml on 2009-08-07 — irc logs at freenode.irclog.whitequark.org

2009-06-12 13:52 kaustuv changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.1 out now! Get yours from http://caml.inria.fr/ocaml/release.html

00:03 ertai has quit [Read error: 104 (Connection reset by peer)]

00:48 Amorphous has quit [Connection timed out]

00:51 Amorphous has joined #ocaml

00:58 Associat0r has joined #ocaml

01:06 Associat0r has quit []

01:09 willb has quit [bartol.freenode.net irc.freenode.net]

01:09 authentic has quit [bartol.freenode.net irc.freenode.net]

01:09 deavid has quit [bartol.freenode.net irc.freenode.net]

01:10 sOpen has quit [Read error: 110 (Connection timed out)]

01:11 willb has joined #ocaml

01:11 authentic has joined #ocaml

01:11 deavid has joined #ocaml

01:34 tvn2009 has joined #ocaml

01:36 sOpen has joined #ocaml

01:38 tvn2009 has quit [Client Quit]

02:10 verte has joined #ocaml

02:11 verte has quit [Client Quit]

03:12 sporkmonger has joined #ocaml

03:18 <sporkmonger> it would appear that records can't be circular in nature, is that correct?

03:20 <sporkmonger> ie, type a = { x : int; y : b };; type b = { x : int; y : a };;

03:21 <sporkmonger> assuming that's true (certainly the above code fails), what options do i have that will work around this?

03:22 schme has quit ["leaving"]

03:23 schme has joined #ocaml

03:23 <brendan> I believe you can do type a = { ax: int; ay: b } and b = { bx: int; by: a }

03:34 <sporkmonger> ah, nice

03:34 <sporkmonger> i'll give that a try

03:53 hkBst has quit [Read error: 104 (Connection reset by peer)]

04:28 r0bby has quit [Client Quit]

04:29 r0bby has joined #ocaml

04:32 cygnus has joined #ocaml

04:36 sOpen has quit [Read error: 110 (Connection timed out)]

04:48 kaustuv has left #ocaml []

05:02 ulfdoz has joined #ocaml

05:03 jeddhaberstro has quit [Client Quit]

05:15 sporkmonger has quit []

05:21 ulfdoz has quit [Read error: 110 (Connection timed out)]

05:22 BiDOrD has quit [Read error: 110 (Connection timed out)]

05:51 bluestorm has joined #ocaml

05:52 bzzbzz has joined #ocaml

06:18 tvn2009 has joined #ocaml

06:19 verte has joined #ocaml

06:36 komar_ has joined #ocaml

06:45 _zack has joined #ocaml

06:57 julm has quit [Read error: 60 (Operation timed out)]

07:06 julm_ has joined #ocaml

07:09 julm_ has quit [Client Quit]

07:21 _zack has quit ["Leaving."]

07:22 eevar2 has joined #ocaml

07:44 tvn2009 has quit [Remote closed the connection]

07:51 verte has quit ["~~~ Crash in JIT!"]

08:03 komar_ has quit ["WeeChat 0.2.6.3-ohshi"]

08:05 naufraghi has joined #ocaml

09:00 verte has joined #ocaml

09:13 seafood has quit []

09:19 th5 has joined #ocaml

09:25 itewsh has joined #ocaml

09:31 seafood has joined #ocaml

09:39 rwmjones is now known as rwmjones-afk

09:49 sramsay has joined #ocaml

10:00 hkBst has joined #ocaml

10:03 itewsh has quit [Read error: 110 (Connection timed out)]

10:03 itewsh has joined #ocaml

10:17 marteo has joined #ocaml

10:19 marteo has quit [Client Quit]

10:35 sramsay has quit [Remote closed the connection]

10:51 itewsh has quit [Read error: 110 (Connection timed out)]

10:52 itewsh has joined #ocaml

11:26 LeCamarade has joined #ocaml

11:36 itewsh has quit [Read error: 110 (Connection timed out)]

11:37 itewsh has joined #ocaml

11:41 _zack has joined #ocaml

11:48 _andre has joined #ocaml

11:50 ski__ has quit [Read error: 104 (Connection reset by peer)]

11:55 naufraghi has quit []

11:58 itewsh has quit [Success]

11:58 itewsh has joined #ocaml

12:08 BiDOrD has joined #ocaml

12:18 itewsh has quit [Success]

12:22 itewsh has joined #ocaml

12:29 LeCamarade is now known as LeCamarade|Away

12:35 bzzbzz_ has joined #ocaml

12:35 bzzbzz has quit [Read error: 104 (Connection reset by peer)]

12:40 _zack has quit [Read error: 110 (Connection timed out)]

12:40 _zack has joined #ocaml

13:12 sramsay has joined #ocaml

13:13 itewsh has quit [Remote closed the connection]

13:26 bombshelter13_ has joined #ocaml

13:26 Lomono has joined #ocaml

13:26 Lomono has quit [Client Quit]

13:26 Lomono has joined #ocaml

13:28 Lomono has left #ocaml []

13:30 bzzbzz_ has quit [Read error: 110 (Connection timed out)]

13:48 sramsay has quit [Remote closed the connection]

13:49 anders^^ has quit [Read error: 110 (Connection timed out)]

14:05 sparta has joined #ocaml

14:15 _zack has quit ["Leaving."]

14:19 Asmadeus has joined #ocaml

14:26 verte has quit ["~~~ Crash in JIT!"]

14:32 eevar2 has quit ["This computer has gone to sleep"]

14:43 rwmjones-afk is now known as rwmjones

14:56 sOpen has joined #ocaml

14:57 willb has quit [Read error: 110 (Connection timed out)]

14:57 sparta has quit [Remote closed the connection]

15:15 _zack has joined #ocaml

15:18 willb has joined #ocaml

15:25 sramsay has joined #ocaml

16:08 sOpen1 has joined #ocaml

16:09 th5 has quit []

16:09 sOpen has quit [Read error: 104 (Connection reset by peer)]

16:16 sOpen1 is now known as sOpen

16:19 amuck_ has joined #ocaml

16:20 seafood has quit []

16:22 Olf has quit [Read error: 110 (Connection timed out)]

16:34 mishok13 has quit [Read error: 60 (Operation timed out)]

17:00 willb has quit ["Leaving"]

17:12 caligula__ has quit [bartol.freenode.net irc.freenode.net]

17:12 xevz has quit [bartol.freenode.net irc.freenode.net]

17:12 caligula__ has joined #ocaml

17:12 xevz has joined #ocaml

17:17 ulfdoz has joined #ocaml

17:25 willb has joined #ocaml

17:46 <bluestorm> "haskell is not referentially transparent" : http://lambda-the-ultimate.org/node/3532#comment-50383

17:47 <bluestorm> (gives an interesting duality in side effects of application / matching in strict and lazy languages)

17:56 sramsay has quit [Remote closed the connection]

18:14 komar_ has joined #ocaml

18:46 <flux> I don't get it. why isn't the latter a valid haskell program? or it just doesn't give the expeced result?

18:48 <bluestorm> according to the poster, it's not a valid program equivalence

18:48 <bluestorm> (you can't replace (e) by (case e of ...) without possibly changing the meaning of your program)

18:48 <flux> ah

18:49 <flux> would it be changed in the presence of non-termination, or the bottom type?

18:52 <bluestorm> "case e of ..." forces evaluation

18:52 <bluestorm> (of e)

18:52 <bluestorm> so yes I guess their is a difference in case of non-termination

18:55 <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

19:39 qwr_ is now known as qwr

19:41 itewsh has joined #ocaml

19:43 aym has joined #ocaml

19:44 sOpen has quit [Read error: 60 (Operation timed out)]

19:51 kron4eg has joined #ocaml

19:57 Jedai has joined #ocaml

19:59 kron4eg has left #ocaml []

20:26 caligula__ has quit [bartol.freenode.net irc.freenode.net]

20:26 xevz has quit [bartol.freenode.net irc.freenode.net]

20:26 mehdid has quit [bartol.freenode.net irc.freenode.net]

20:26 tab has quit [bartol.freenode.net irc.freenode.net]

20:26 rbancroft has quit [bartol.freenode.net irc.freenode.net]

20:26 mal`` has quit [bartol.freenode.net irc.freenode.net]

20:26 mattam has quit [bartol.freenode.net irc.freenode.net]

20:26 petchema has quit [bartol.freenode.net irc.freenode.net]

20:26 gim has quit [bartol.freenode.net irc.freenode.net]

20:26 raboof has quit [bartol.freenode.net irc.freenode.net]

20:26 jimmyb2187 has quit [bartol.freenode.net irc.freenode.net]

20:26 Hadaka has quit [bartol.freenode.net irc.freenode.net]

20:26 lutter has quit [bartol.freenode.net irc.freenode.net]

20:26 patronus has quit [bartol.freenode.net irc.freenode.net]

20:26 authentic has quit [bartol.freenode.net irc.freenode.net]

20:26 deavid has quit [bartol.freenode.net irc.freenode.net]

20:26 noj has quit [bartol.freenode.net irc.freenode.net]

20:26 flux has quit [bartol.freenode.net irc.freenode.net]

20:26 qwr has quit [bartol.freenode.net irc.freenode.net]

20:26 itewsh has quit [bartol.freenode.net irc.freenode.net]

20:26 amuck_ has quit [bartol.freenode.net irc.freenode.net]

20:26 BiDOrD has quit [bartol.freenode.net irc.freenode.net]

20:26 cygnus has quit [bartol.freenode.net irc.freenode.net]

20:26 wysek has quit [bartol.freenode.net irc.freenode.net]

20:26 bohanlon has quit [bartol.freenode.net irc.freenode.net]

20:26 ulfdoz has quit [bartol.freenode.net irc.freenode.net]

20:26 bombshelter13_ has quit [bartol.freenode.net irc.freenode.net]

20:26 LeCamarade|Away has quit [bartol.freenode.net irc.freenode.net]

20:26 hkBst has quit [bartol.freenode.net irc.freenode.net]

20:26 Modius has quit [bartol.freenode.net irc.freenode.net]

20:27 poucet has quit [bartol.freenode.net irc.freenode.net]

20:27 sbok has quit [bartol.freenode.net irc.freenode.net]

20:27 nimred has quit [bartol.freenode.net irc.freenode.net]

20:27 munga has quit [bartol.freenode.net irc.freenode.net]

20:27 komar_ has quit [bartol.freenode.net irc.freenode.net]

20:27 _zack has quit [bartol.freenode.net irc.freenode.net]

20:27 Amorphous has quit [bartol.freenode.net irc.freenode.net]

20:27 thelema has quit [bartol.freenode.net irc.freenode.net]

20:27 mellum has quit [bartol.freenode.net irc.freenode.net]

20:27 bartiosze has quit [bartol.freenode.net irc.freenode.net]

20:27 bacam has quit [bartol.freenode.net irc.freenode.net]

20:27 cmeme has quit [bartol.freenode.net irc.freenode.net]

20:27 svenl has quit [bartol.freenode.net irc.freenode.net]

20:27 animist has quit [bartol.freenode.net irc.freenode.net]

20:27 _andre has quit [bartol.freenode.net irc.freenode.net]

20:27 r0bby has quit [bartol.freenode.net irc.freenode.net]

20:27 hcarty has quit [bartol.freenode.net irc.freenode.net]

20:27 rwmjones has quit [bartol.freenode.net irc.freenode.net]

20:27 maxote has quit [bartol.freenode.net irc.freenode.net]

20:27 prigaux has quit [bartol.freenode.net irc.freenode.net]

20:27 TaXules has quit [bartol.freenode.net irc.freenode.net]

20:27 easy4 has quit [bartol.freenode.net irc.freenode.net]

20:27 aij_ has quit [bartol.freenode.net irc.freenode.net]

20:27 mfp_ has quit [bartol.freenode.net irc.freenode.net]

20:27 aym has quit [bartol.freenode.net irc.freenode.net]

20:27 brendan has quit [bartol.freenode.net irc.freenode.net]

20:27 lanaer has quit [bartol.freenode.net irc.freenode.net]

20:27 Jedai has quit [bartol.freenode.net irc.freenode.net]

20:27 Asmadeus has quit [bartol.freenode.net irc.freenode.net]

20:27 Demitar has quit [bartol.freenode.net irc.freenode.net]

20:27 sgnb` has quit [bartol.freenode.net irc.freenode.net]

20:27 haelix has quit [bartol.freenode.net irc.freenode.net]

20:27 mbishop has quit [bartol.freenode.net irc.freenode.net]

20:27 tarbo2 has quit [bartol.freenode.net irc.freenode.net]

20:27 tsuyoshi has quit [bartol.freenode.net irc.freenode.net]

20:27 bluestorm has quit [bartol.freenode.net irc.freenode.net]

20:27 schme has quit [bartol.freenode.net irc.freenode.net]

20:27 hto has quit [bartol.freenode.net irc.freenode.net]

20:27 peddie has quit [bartol.freenode.net irc.freenode.net]

20:27 gildor has quit [bartol.freenode.net irc.freenode.net]

20:27 fremo has quit [bartol.freenode.net irc.freenode.net]

20:27 jonafan has quit [bartol.freenode.net irc.freenode.net]

20:27 tonyIII has quit [bartol.freenode.net irc.freenode.net]

20:27 erickt has quit [bartol.freenode.net irc.freenode.net]

20:27 jlouis has quit [bartol.freenode.net irc.freenode.net]

20:27 Pepe_ has quit [bartol.freenode.net irc.freenode.net]

20:27 ozzloy has quit [bartol.freenode.net irc.freenode.net]

20:27 bernardofpc has quit [bartol.freenode.net irc.freenode.net]

20:27 acatout has quit [bartol.freenode.net irc.freenode.net]

20:27 tomaw has quit [bartol.freenode.net irc.freenode.net]

20:27 willb has quit [bartol.freenode.net irc.freenode.net]

20:27 slash_ has quit [bartol.freenode.net irc.freenode.net]

20:27 Ori_B has quit [bartol.freenode.net irc.freenode.net]

20:27 __marius__ has quit [bartol.freenode.net irc.freenode.net]

20:28 sramsay has joined #ocaml

20:28 Jedai has joined #ocaml

20:28 aym has joined #ocaml

20:28 itewsh has joined #ocaml

20:28 komar_ has joined #ocaml

20:28 willb has joined #ocaml

20:28 ulfdoz has joined #ocaml

20:28 xevz has joined #ocaml

20:28 caligula__ has joined #ocaml

20:28 amuck_ has joined #ocaml

20:28 _zack has joined #ocaml

20:28 Asmadeus has joined #ocaml

20:28 bombshelter13_ has joined #ocaml

20:28 BiDOrD has joined #ocaml

20:28 _andre has joined #ocaml

20:28 LeCamarade|Away has joined #ocaml

20:28 hkBst has joined #ocaml

20:28 bluestorm has joined #ocaml

20:28 cygnus has joined #ocaml

20:28 r0bby has joined #ocaml

20:28 schme has joined #ocaml

20:28 deavid has joined #ocaml

20:28 authentic has joined #ocaml

20:28 Amorphous has joined #ocaml

20:28 noj has joined #ocaml

20:28 Demitar has joined #ocaml

20:28 hto has joined #ocaml

20:28 mehdid has joined #ocaml

20:28 petchema has joined #ocaml

20:28 mal`` has joined #ocaml

20:28 mattam has joined #ocaml

20:28 rbancroft has joined #ocaml

20:28 gim has joined #ocaml

20:28 raboof has joined #ocaml

20:28 tab has joined #ocaml

20:28 slash_ has joined #ocaml

20:28 haelix has joined #ocaml

20:28 Ori_B has joined #ocaml

20:28 hcarty has joined #ocaml

20:28 rwmjones has joined #ocaml

20:28 flux has joined #ocaml

20:28 jimmyb2187 has joined #ocaml

20:28 Modius has joined #ocaml

20:28 thelema has joined #ocaml

20:28 poucet has joined #ocaml

20:28 peddie has joined #ocaml

20:28 maxote has joined #ocaml

20:28 acatout has joined #ocaml

20:28 lanaer has joined #ocaml

20:28 lutter has joined #ocaml

20:28 tomaw has joined #ocaml

20:28 bernardofpc has joined #ocaml

20:28 sgnb` has joined #ocaml

20:28 nimred has joined #ocaml

20:28 mfp_ has joined #ocaml

20:28 easy4 has joined #ocaml

20:28 bacam has joined #ocaml

20:28 animist has joined #ocaml

20:28 tonyIII has joined #ocaml

20:28 Pepe_ has joined #ocaml

20:28 TaXules has joined #ocaml

20:28 ozzloy has joined #ocaml

20:28 cmeme has joined #ocaml

20:28 bohanlon has joined #ocaml

20:28 wysek has joined #ocaml

20:28 jonafan has joined #ocaml

20:28 brendan has joined #ocaml

20:28 munga has joined #ocaml

20:28 erickt has joined #ocaml

20:28 svenl has joined #ocaml

20:28 tarbo2 has joined #ocaml

20:28 sbok has joined #ocaml

20:28 mbishop has joined #ocaml

20:28 tsuyoshi has joined #ocaml

20:28 gildor has joined #ocaml

20:28 aij_ has joined #ocaml

20:28 bartiosze has joined #ocaml

20:28 mellum has joined #ocaml

20:28 prigaux has joined #ocaml

20:28 fremo has joined #ocaml

20:28 jlouis has joined #ocaml

20:28 qwr has joined #ocaml

20:28 patronus has joined #ocaml

20:28 Hadaka has joined #ocaml

20:28 __marius__ has joined #ocaml

22:39 clog has joined #ocaml

23:07 hkBst has quit [Read error: 104 (Connection reset by peer)]

23:22 aym has quit []

23:49 Jedai has quit [Read error: 110 (Connection timed out)]

23:50 willb has quit [Read error: 60 (Operation timed out)]