Functional - Re: shootout: implementing an interpreter for a simple procedural language Minim

You are viewing an archived Text-only version of the thread. To view this thread in it's original format and/or if you want to reply to this thread please [click here]

Author

Re: shootout: implementing an interpreter for a simple procedural language Minim

Nicolas Neuss

2007-07-30, 8:05 am

Paul Rubin <http://phr.cx@NOSPAM.invalid> writes:

> I've written a lot more Lisp code than I've written Haskell or ML, so
> maybe what I'm hoping for from static types is wishful thinking. But
> I've made way more runtime type errors in Lisp than I'm happy about,
> that could have been caught at compile time with a static language.

May I ask which implementation you used back then? CMUCL/SBCL (and also
Allegro) do already quite some type inference (and spit out corresponding
warnings), so that I believe that I do not miss very many type errors, at
least compared with my previous programming in C.

Yours,
Nicolas

Sponsored Links