News for hackers. Stuff that matters.

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

Re:What would it take to add refinement types to Rust? by eddsolves on Wednesday December 25, 2024 @03:05AM (#42507596)
I think liquid Haskell is a great example of refinement types?

https://ucsd-progsys.github.io/liquidhaskell/

[ Parent | on HN ]

There are no comments on this comment yet.