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 frogulis on Tuesday December 24, 2024 @06:13PM (#42505649)
Easy enough to write in some languages... as long as you only need to support addition and multiplication, or a very limited set of numbers.
[ Parent | on HN ]

There are no comments on this comment yet.