Hacker News Reader

Shen stands above other languages (apart from Idris and Coq) in the area of dependent types.

I haven't looked at the ability to have dependent types in Shen - it'd be great to see some examples. A quick search on the mailing list found:

and apart from ATS.