Re: [Haskell-cafe] Detecting Cycles in Datastructures

2005-11-20 Thread Benjamin Franksen
On Saturday 19 November 2005 11:56, Gracjan Polak wrote: 2005/11/19, Benjamin Franksen [You should read some of his papers, for instance the most unreliable techique in the world to compute pi. I was ROTFL when I saw the title and reading it was an eye-opener and fun too.] Care to post a

Re: Re[2]: [Haskell-cafe] records proposals list

2005-11-20 Thread Benjamin Franksen
On Saturday 19 November 2005 17:35, Bulat Ziganshin wrote: Hello David, Saturday, November 19, 2005, 4:57:09 PM, you wrote: DR I'd benefit from just a list of problems that the record proposals want to DR solve. DR 1. The field namespace issue. DR 2. Multi-constructor getters, ideally as

RE: [Haskell-cafe] Records

2005-11-20 Thread Simon Marlow
On 19 November 2005 20:53, Ketil Malde wrote: Antti-Juhani Kaijanaho wrote: Ketil Malde wrote: [about A.b and A . b potentially meaning different things:] Syntax that changes depending on spacing is my number one gripe with the Haskell syntax I've generally considered that one

RE: [Haskell-cafe] Records

2005-11-20 Thread Philippa Cowderoy
On Sun, 20 Nov 2005, Simon Marlow wrote: I'm assuming you don't consider the distinction between '::' and ': :' to be a problem - the justification for this is simple and logical: a double colon '::' is a reserved symbol, in the same way that 'then' is a reserved identifier. I have to

Re: [Haskell-cafe] records proposals list

2005-11-20 Thread Wolfgang Jeltsch
Am Samstag, 19. November 2005 17:35 schrieb Bulat Ziganshin: [...] 7. OOP-like fields inheritance: data Coord = { x,y :: Double } data Point : Coord = { c :: Color } of course this is just another sort of syntax sugar once we start using classes to define getter/setter functions I

Re: [Haskell-cafe] How to use notFollowedBy function in Parsec

2005-11-20 Thread Sara Kenedy
Thanks for your solution. However, when I try this, str1 :: Parser String str1 = do str - many anyToken notFollowedBy' semi return str notFollowedBy' :: Show a = GenParser tok st a - GenParser tok st () notFollowedBy' p = try $ join $ do a

Re[2]: [Haskell-cafe] records proposals list

2005-11-20 Thread Bulat Ziganshin
Hello Wolfgang, Sunday, November 20, 2005, 6:21:05 PM, you wrote: data Coord = { x,y :: Double } data Point : Coord = { c :: Color } WJ A point is not a special coordinate pair. Instead it has a coordinate paar as WJ one of its properties. So the above-mentioned problem would be better