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] [EMAIL PROTECTED]
system administrator [openafs,heimdal,too many hats] [EMAIL PROTECTED]
electrical and computer engineering, carnegie mellon university KF8NH
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
