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 3eb7988a1663 on Tuesday December 24, 2024 @06:17PM (#42505664)
Nim calls these subranges https://nim-lang.org/docs/manual.html#types-subrange-types

  Subrange = range[0..5]
  PositiveFloat = range[0.0..Inf]
[ Parent | on HN ]

There are no comments on this comment yet.