News for hackers. Stuff that matters.

A comment on I learned Haskell in just 15 years. Parent comment

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 ]