Refinement Types
================

```Example from <b>1 languages</b>: <a href="../concepts/raku.html">Raku</a>
subset Color of Any where Color | CMYK_Color;
```

*

Languages *with* Refinement Types include <a href="../concepts/raku.html">Raku</a>

*

View all concepts with or missing a *hasRefinementTypes* measurement
 http://pldb.info/../lists/explorer.html#columns=rank~id~appeared~tags~creators~hasRefinementTypes&searchBuilder=%7B%22criteria%22%3A%5B%7B%22condition%22%3A%22null%22%2C%22data%22%3A%22hasRefinementTypes%22%2C%22origData%22%3A%22hasRefinementTypes%22%2C%22type%22%3A%22num%22%2C%22value%22%3A%5B%5D%7D%5D%2C%22logic%22%3A%22AND%22%7D missing
 http://pldb.info/../lists/explorer.html#columns=rank~id~appeared~tags~creators~hasRefinementTypes&searchBuilder=%7B%22criteria%22%3A%5B%7B%22condition%22%3A%22!null%22%2C%22data%22%3A%22hasRefinementTypes%22%2C%22origData%22%3A%22hasRefinementTypes%22%2C%22type%22%3A%22num%22%2C%22value%22%3A%5B%5D%7D%5D%2C%22logic%22%3A%22AND%22%7D with

*

Read more about Refinement Types on the web: 1.
 https://en.wikipedia.org/wiki/Refinement_type 1.

Built with Scroll v178.2.3