Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Refinement Types

< >
Example from 1 languages: Raku
subset Color of Any where Color | CMYK_Color;
*

Languages with Refinement Types include Raku

*

View all concepts with or missing a hasRefinementTypes measurement

*

Read more about Refinement Types on the web: 1.

View source
- Build the next great programming language 路 Add 路 About 路 Search 路 Keywords 路 Livestreams 路 Labs 路 Resources 路 Acknowledgements 路 Part of the World Wide Scroll