On Apr 14, 2010, at 19:24 , Brent Yorgey wrote:
On Wed, Apr 14, 2010 at 09:14:18PM +0200, Dupont Corentin wrote:
I'm wondering if it could be possible to implement a Nomic (or an helper for the game) in Haskell. Haskell seems appropriate for that, since functions are first order objects, and Haskell is good at DSLs.
However, implementing some sort of system for encoding certain types of rules, and checking that they are valid/consistent/etc. sounds like it could be a fun project from which you would probably learn a lot! Essentially, you would be designing a syntax for rules, and a type system for ensuring that rules are valid or used in valid ways. It wouldn't be Nomic, but it could be something fun.
You might want to look at Fluxx, which also allows rule changes but with a constrained framework that should allow it to be implemented. (Does, actually; someone (ndm?) used to have an implementation, but the link to it went dead years ago.) -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH