Hacker News Reader

I think that part of the power of LISP is it's dynamic nature but if you want typed options they exist for Clojure and Racket. There is also development on a language called Carp that aims to be a Clojure style language for C https://github.com/carp-lang/Carp.

There's an experimental Racket language called Hackett which is attempting to give you the best of both worlds of Lisp's macros and Haskell's types.

https://github.com/lexi-lambda/hackett

Typed Racket? It's not Hindley / Milner, but it seems pretty powerful.

I'm interested to see how contracts (`clojure.spec` is a new implemenation of them Clojure) can be used to make reading, debugging and maintaining Clojure easier.