News for hackers. Stuff that matters.

A comment on What would it take to add refinement types to Rust?. Parent comment

Re:What would it take to add refinement types to Rust? by amelius on Wednesday December 25, 2024 @03:48PM (#42511060)
In Pascal, how would you denote a type that can take all integers between 1 and 1000 except 123?
[ Parent | on HN ]

There are no comments on this comment yet.