[nextaccountic]

There's a language that is Haskell-inspired but more mathematically correct (not by much mind you), and it's called Purescript. And of course it has the whole zoo of algebra in its stdlib. It also has a lot of interest type-level stuff including my all-time favorite, row types to represent things like Javascript objects that can have an unbounded number of fields (Typescript tries to approximate this but is less powerful).

The best decision ever Purescript made was to not make the language lazy by default. Laziness is still there if you want to opt in, but laziness by default is the mother of all leaks.

[crote]

I looked into Purescript for a frontend project, but it seemed to be a bit lacking in ecosystem at the time, so (despite its very limited type system) I went for Elm instead, in the hope that it'd grow into a more mature language. Quite a mistake that was...

[alpinisme]

Has the ecosystem or language actually limited the elm project or are you just speaking in terms of how “offbeat” the choice is now?