On: The hunt for the missing data type

[rhelz]

Good point. The game has really changed in terms of what kinds of programs we can write now. Perhaps it's too pessimistic to not expect these sorts of optimizing compilers soon.

Sounds like a good research opportunity to me.