News for hackers. Stuff that matters.

A comment on Total Functional Programming (2004) [pdf]. Parent comment

Re:Total Functional Programming (2004) [pdf] by jimbokun on Thursday March 07, 2024 @03:19PM (#39634120)
Can Haskell enforce a type of “any integer other than zero”?

I feel like you would just end up with the equivalent of Maybe, but not sure.

[ Parent | on HN ]
Re:Total Functional Programming (2004) [pdf] by Iceland_jack on Friday March 08, 2024 @09:28AM (#39641321)
With https://ucsd-progsys.github.io/liquidhaskell/, but as a separate checker. I think there are talks of integrating it into the compiler
[ Parent | on HN ]