3 ms·
> Like a Lisp You know about Typed Racked and possibly other efforts, right? http://docs.racket-lang.org/ts-guide/ http://docs.racket-lang.org/ts-guide/
by klibertp 14y ago
> Like a Lisp
You know about Typed Racked and possibly other efforts, right?
http://docs.racket-lang.org/ts-guide/ http://docs.racket-lang.org/ts-guide/
- wladimir 14y agoWell not really. I had a vague sense that there are extensions that add typing, but not more. My experiences with Lisp are mostly limited to SICP. Thanks for the link.
- klibertp 14y agoNo problem. Generally, talking about Lisps in this context is not a very good idea - I couldn't find the link, but I remember that in the comments on lambda-the-ultimate someone demonstrated equivalence of static type systems and lisp macros by providing compile time guarantees that then-discussed static type system gave. I'll try to find this discussion later, or maybe someone has the link ready?