Active data checking
- Sometimes it's valuable to check a property just before a computation—this adds overhead to that computation but not anywhere else
- Sparse and clumped Compress, Expand, and Where
- Range testing for searching and sorting
- If one argument is much smaller, checking it is effectively free
- Trivial arithmetic like
0+⍵
and 1×⍵
- Replicate with an all-one left argument
- Take on leading axes is converted to reshape
- In the future: JIT-compiled transpose and matrix product kernels