3 ms·

There is Idris: http://idris-lang.org/ http://idris-lang.org/ It seems similar to what plinkplonk is talking about.

• tome 14y ago
  Hmm, I always thought of Idris, Coq and Agda as proof assistants rather than programming languages, but perhaps that's just me being unimaginative.
  • cyrus_ 14y ago
    Idris is explicitly billed as a programming language. You can do pretty sophisticated programming in Coq too (Coq can be reasonably straightforwardly compiled down to Ocaml, Haskell and some other languages.)
    • tome 14y ago
      I'd better spend some time checking it out then!