Hacker News Reader

There is Typed Racket, which is not Haskell but still pretty cool.

There is Shen[0]that has Haskell's type system with Lisp syntax, but I don't think it's much used - I haven't tried it myself.

> Haskell's type system

Shen's type system is probably better described just as expressive.

Thanks for the link. Out of interest, have you play with Shen yourself? Did you build something with it?

I've only messed around in the REPL. https://www.youtube.com/watch?v=lMcRBdSdO_U gives a fairly practical introduction.

I've heard of something called Liskell and Lisk (two different projects). I haven't tried either of them, so I don't know if they are usable.