We’ve published Refinement Types Design Notes - a research on expressing more precise constraints on...

Mikhail Vorobev

09/15/2025, 8:38 AM

We’ve published Refinement Types Design Notes - a research on expressing more precise constraints on values with refinement types. It’s not a proposal, but we’d love to hear what you think. Design Notes Discussion

K 6

kodee happy 2

🐕 2

Open in Slack

Previous Next

kotlinlang

A modern programming language that makes developers happier.