Currently Option/Concept always tags the value. Not the most optimal when all subtypes are pointers (since they already know their type) and some common cases like Bool/Nat/String.
We want to optimize these representations at some point. Need a bit more code for perf eval and correctness checking. Probably want to do pointers first.
Currently Option/Concept always tags the value. Not the most optimal when all subtypes are pointers (since they already know their type) and some common cases like Bool/Nat/String.
We want to optimize these representations at some point. Need a bit more code for perf eval and correctness checking. Probably want to do pointers first.