Hacker News Reader

I was curious about that comment as well... I really like the cleanliness of Scheme, but I also find myself attracted to Lisp's ability to selectively optimize a program, for example by declaring the type of variables. To my knowledge this ability is not included in any Scheme implementation. Does such a Scheme actually exist?

View on HN

Apologies for the site being down at the moment. I'd reset the server but I'm in Chicago. I know that PLT Scheme recently had a system for optional types implemented and there was a paper posted on Lambda-the-ultimate.org. I think it's in SVN. http://lambda-the-ultimate.org/node/2622

Apparently, Bigloo has supported this for a while: http://www-sop.inria.fr/mimosa/fp/Bigloo/doc/bigloo-22.html

One should also consider that there are implementations like Gambit-C and Chicken that compile to type-annotated languages, not that it's necessarily what you had in mind. Just food for thought.

Reply on news.ycombinator.com