I learned Haskell in just 15 years

Re:I learned Haskell in just 15 years by Joker_vD on Monday June 17, 2024 @06:40AM (#40704204)

Because for some reason there are no pure strict-by-default languages around.

[ Parent | on HN ]

Re:I learned Haskell in just 15 years by tome on Monday June 17, 2024 @07:21AM (#40704463)

PureScript is an example.

[ Parent | on HN ]

Re:I learned Haskell in just 15 years by foldr on Monday June 17, 2024 @06:56AM (#40704301)

Elm is one example of such. However, it's also an illustration of why these languages are rare. With a strict semantics there's an almost unbearable temptation to add library functions with side effects. Elm only avoided this fate by giving its BDFL strict control over which packages could access the JS FFI. But that upset a lot of people.

[ Parent | on HN ]

Re:I learned Haskell in just 15 years by simiones on Monday June 17, 2024 @09:01AM (#40705202)

I think Idris is the best example of a pure strict-by-default language (that also supports totality checking, I believe).

[ Parent | on HN ]

Re:I learned Haskell in just 15 years by ReleaseCandidat on Monday June 17, 2024 @10:52AM (#40706186)

> that also supports totality checking, I believe

Yes, it does. It's also dependently typed.

[ Parent | on HN ]

Re:I learned Haskell in just 15 years by ReleaseCandidat on Monday June 17, 2024 @10:50AM (#40706161)

All of them (especially newer ones) are, except Haskell (und some other, nowadays either obsolete or really obscure languages).

Idris (2), PureScript, Elm, Unison, Roc, Lean (4), Koka, Flix (and some other I've forgotten about).

[ Parent | on HN ]