Typed X (Racket, Clojure, Lua) just doesn't pan out?
lambda-the-ultimate.org