Hacker News Reader

Are there any implementations of good type systems on top of lisp (let's say approaching Haskell's in capability)?

> Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp

Typed Racket is getting steady development and focus but more closely resembles Scheme.