Haskell family

What are some languages based on Haskell? I know about Curry, Agda, Idris, and Disciple.

Instead of looking into more and more new obscure languages, I would say it's more beneficial to look into historic languages which are known to have made a difference.

In this case, look into what inspired Haskell instead: ML, Miranda, ...

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.

>>3
get a life, nerd

And I also enjoyed scala. Scala supports full monad comprehensions with their for expressions. People call it loops, but that is fully retarded, it is much more powerful than a loop. For desugaring it uses concatMap in a class, which is the same as join . map

Looks a bit like this:


for {
  user <- getUserById(id)
  orders <- getOrdersForUser(user.email)
  products <- getProductsForOrders(orders)
  stock <- getStockForProducts(products)
} yield stock

Monad comprehensions are somewhat more powerful than the do notation, because your monad can actually change type.

>>4

I make a shitload of money, that is a good substitute for having a life.

>>6
That's just sad, all you care about is money. And you aren't even a multimillionaire who doesn't have to work for anybody to make money.

that is a good substitute for having a life.
nope

>>6
functional programming
making a ``shitload" of money