Passive data checking
-
These techniques continuously keep track of performance-relevant information about primitives, which can be cheaply checked at any time
- Types: a new algorithm is required for each type
- Flags: a primitive can check or ignore these
-
Multiple numeric and character types
- Dyalog could use complex floats for everything!
- Bit booleans
- The "SQUOZE" bit marks arrays whose type can't be reduced
- A future improvement: flags for sorted data