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 riffraff on Wednesday December 25, 2024 @04:03AM (#42507792)
raku has "type subsets" which can do this (and more)

https://docs.raku.org/language/typesystem#subset

[ Parent | on HN ]

There are no comments on this comment yet.