3 ms·
> A stamp might tag a value as being between 0 and 255, for example, which is much more specific than "int". Yeah, that's a normal type. For example in Common
by jhgb 5y ago
> A stamp might tag a value as being between 0 and 255, for example, which is much more specific than "int".
Yeah, that's a normal type. For example in Common Lisp, it's the type defined by the type specifier (INTEGER 0 255).
- chrisseaton 5y agoA simple range is one application you could use stamps for, but they can also represent that individual bits may or may not be set, or could even represent that individual bits are set with a given probability, which could inform scheduling decisions.
- jhgb 5y agoThose things can in principle be expressed with a predicate using the SATISFIES type specifier, but the problem with that is that you currently can't pick such types apart for optimization purposes in any existing implementation, only test membership for values. Presumably that's one of the reasons why Qi/Shen was created.