Re: [Haskell-cafe] DFAs and self-referential data

2010-12-28 Thread oleg
Maxime Henrion wrote: I've been playing with some code to work with DFAs, but I'm now faced with an implementation problem. In order to have states that can transition to themselves, it seems I would need self-referential data; otherwise I would need to separate those transitions from the

Re: [Haskell-cafe] DFAs and self-referential data

2010-12-28 Thread Jason Dagit
On Tue, Dec 28, 2010 at 3:09 AM, o...@okmij.org wrote: Maxime Henrion wrote: I've been playing with some code to work with DFAs, but I'm now faced with an implementation problem. In order to have states that can transition to themselves, it seems I would need self-referential data;

[Haskell-cafe] DFAs and self-referential data

2010-12-26 Thread Maxime Henrion
Hello all, I've been playing with some code to work with DFAs, but I'm now faced with an implementation problem. In order to have states that can transition to themselves, it seems I would need self-referential data; otherwise I would need to separate those transitions from the rest and

Re: [Haskell-cafe] DFAs and self-referential data

2010-12-26 Thread Roman Cheplyaka
* Maxime Henrion mhenr...@gmail.com [2010-12-26 12:01:31+0100] Anyone knows what I'm doing wrong here? I suspect my attempt at having self-referential data is somehow buggy; do I need to treat transitions to the same state differently? The problem is that when you call 'self', you record

Re: [Haskell-cafe] DFAs and self-referential data

2010-12-26 Thread Maxime Henrion
On Sun, 2010-12-26 at 13:58 +0200, Roman Cheplyaka wrote: * Maxime Henrion mhenr...@gmail.com [2010-12-26 12:01:31+0100] Anyone knows what I'm doing wrong here? I suspect my attempt at having self-referential data is somehow buggy; do I need to treat transitions to the same state

Re: [Haskell-cafe] DFAs and self-referential data

2010-12-26 Thread Maxime Henrion
On Sun, 2010-12-26 at 13:38 +0100, Maxime Henrion wrote: On Sun, 2010-12-26 at 13:58 +0200, Roman Cheplyaka wrote: * Maxime Henrion mhenr...@gmail.com [2010-12-26 12:01:31+0100] Anyone knows what I'm doing wrong here? I suspect my attempt at having self-referential data is somehow buggy;