On May 10, 2007, at 12:52 , Andrew Coppin wrote:
Plus, consider that people often throw extensions at lambdabot --- do you support even simple stuff like forall in your interpreter? Using ghc means you can use most of the ghc extensions.
Ah, yes, well, I avoid everything that isn't in Haskell 98. ;-)
(Mainly because 1. most of it makes no semblence of sense, and 2. why do we need any of this stuff anyway?)
FWIW (again, I don't have the code any more) my interpreter had no type checker, but would gracefully handle runtime errors. (Typically if the code isn't well-typed, that means it hits some constructor the function isn't expecting, and dies that way.) Very useful and instructive for seeing how stuff works; I discovered first-hand why foldl' exists!
Quite a lot of what people throw at lambdabot in #haskell is intended to do type checking or type inference. Maybe you have different needs, and would be better served by something else --- but LB is what it is for good reason. -- 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