Top 1,000 Features Creators Resources Blog Explore Download
GitHub icon

Refinement Types

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

Languages with Refinement Types include Raku

Read more about Refinement Types on the web: 1.

HTML of this page generated by Features.ts

View source

- Build the next great programming language 路 About 路 Acknowledgements 路 Extensions 路 Day 624 路 feedback@pldb.io