Name:
Anonymous
2013-05-05 12:57
What are some languages based on Haskell? I know about Curry, Agda, Idris, and Disciple.
Name:
Anonymous
2013-05-05 16:35
GHC + extensions is quite a language.
Extensions on the type system:
Epigram, Cayenne, Idris - Dependent types
Omega - Type level functions
For embedded systems:
Hume, Timber
On JVM:
Frege
On javascript:
Fay
From the ML family:
Lazy ML (inspired by haskell)
If you want to go up to the ML-family, o-caml is actually worthwhile, because it is really mature.