Re: [Haskell-cafe] Backpatching

2007-08-01 Thread Thomas Conway
On 8/2/07, Daniel McAllansmith <[EMAIL PROTECTED]> wrote: > On Wednesday 01 August 2007 17:44, Thomas Conway wrote: > > This sounds like a common problem type. Is there a well known solution > > to this sort of problem? > > Have you looked into Tying the Knot? > http://www.haskell.org/haskellwiki/T

Re: [Haskell-cafe] Backpatching

2007-08-01 Thread Daniel McAllansmith
On Wednesday 01 August 2007 17:44, Thomas Conway wrote: > This sounds like a common problem type. Is there a well known solution > to this sort of problem? Have you looked into Tying the Knot? http://www.haskell.org/haskellwiki/Tying_the_Knot A simple example: module Knot where import Data.Cha

Re: [Haskell-cafe] Backpatching

2007-08-01 Thread Jim Burton
Derek Elkins wrote: > > On Tue, 2007-07-31 at 23:04 -0700, Stefan O'Rear wrote: >> On Wed, Aug 01, 2007 at 03:44:32PM +1000, Thomas Conway wrote: >> > This sounds like a common problem type. Is there a well known solution >> > to this sort of problem? >> >> Mmm... logic programming? >> >> http

Re: [Haskell-cafe] Backpatching

2007-07-31 Thread Derek Elkins
On Tue, 2007-07-31 at 23:04 -0700, Stefan O'Rear wrote: > On Wed, Aug 01, 2007 at 03:44:32PM +1000, Thomas Conway wrote: > > This sounds like a common problem type. Is there a well known solution > > to this sort of problem? > > Mmm... logic programming? > > http://citeseer.ist.psu.edu/claessen00

Re: [Haskell-cafe] Backpatching

2007-07-31 Thread Stefan O'Rear
On Wed, Aug 01, 2007 at 03:44:32PM +1000, Thomas Conway wrote: > This sounds like a common problem type. Is there a well known solution > to this sort of problem? Mmm... logic programming? http://citeseer.ist.psu.edu/claessen00typed.html You'll only need the code for logic-variables, and even th

[Haskell-cafe] Backpatching

2007-07-31 Thread Thomas Conway
Hi All, One of the things I've been working on lately is some ASN.1 stuff.One of the first things I wrote in Haskell was an ASN.1 parser. It only worked for a subset, and I'm revisiting it to make it handle a larger subset. One of the things that gets messy is that in lots of places you can put e