stefanor at cox.net
Wed Aug 1 02:04:18 EDT 2007
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?
You'll only need the code for logic-variables, and even that can be
simplified because your "terms" are non-recursive. (Even in the
recursive case, a logic program like a HM typechecker usually only needs
~50 lines of prelude).
(If you want an less enlightening answer, Map String (STRef s (Maybe Integer)))..
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 189 bytes
Desc: Digital signature
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20070731/4548103b/attachment-0001.bin
More information about the Haskell-Cafe