[chongli]

Haskell is a start but I was thinking of a system with dependent types such as Coq, Agda or Idris.