3 ms·
A 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
by chrisseaton 5y ago
A 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.