Just wanted to point out the Racket quick start tutorial. It is a well written easy to understand introduction/expansion on hello world for a functional language:<p><a href="https://docs.racket-lang.org/quick/" rel="nofollow">https://docs.racket-lang.org/quick/</a><p>Highly recommended even if you aren't looking to pick up a new language or delve into functional programming.
A(nother) cool thing about Racket is that they use GNU Lightning for JITing. Not only is the generated code decently fast, but the actual JITing is <i>very</i> fast. Last time I looked, the runtime compilation was considerably faster than LLVM. It matters more than you'd think.
Of all the lisps, Racket appeals to me the most. It lacks the many warts that common lisp has, and has a very clean feel to it. I had tremendous fun solving problems on Project Euler and Rosetta Code using Racket. I highly recommend it for anyone even remotely interested in learing a lisp.
It seems that Racket became for Schemes what Common Lisp was for Lisps, which is really good.<p>Racket is famous for carefully chosen design decisions and nerdy attention to details, so in this sense it is much better than Common Lisp which was a dump.)
Some interesting reading on Dependent Types in Typed Racket: <a href="http://cs.stackexchange.com/a/41538/1709" rel="nofollow">http://cs.stackexchange.com/a/41538/1709</a>
Typed Racket is gradually typed, right? Does anyone have an example of a Typed Racket application that uses both static and dynamic typing effectively?