Hi, I'm a beginner, but I have some experience with Scheme and Haskell.
Haskell is famous for its strict type system. Is it possible to achieve this in a Lisp-like language? Is Typed Racket as strict as Haskell? I'd like to see a comparison between the two. (Please don't refer me to the docs. Because I'm not very experienced it might take too long to understand the type system of Typed Racket.) P.S. I've also heard that Common Lisp supports static typing. I'll appreciate an overview of its type system too (compared to the mentioned languages), but it's not the main topic of this thread. ____________________ Racket Users list: http://lists.racket-lang.org/users