News for hackers. Stuff that matters.

A comment on Static Integer Types. Parent comment

Re:Static Integer Types by mixedCase on Thursday July 01, 2021 @09:01AM (#27698647)
Or Idris dependent types, which allows you to prove properties of any value, not just numbers.
[ Parent | on HN ]
Re:Static Integer Types by zokier on Thursday July 01, 2021 @01:13PM (#27701544)
Afaik refinement types (e.g. LiquidHaskell) are bit more appropriate than dependent types for this sort of thing
[ Parent | on HN ]