> "this register ranges from 0 to 4" that's not a type system, that's an ILP. and we already have that in many compilers (bindings to ILP solvers). > Maybe th

> "this register ranges from 0 to 4" that's not a type system, that's an ILP. and we already have that in many compilers (bindings to ILP solvers). > Maybe the ISA can now do something clever to further optimize my program. this is a malformed sentence - the ISA is fixed and isn't making any gametime decisions about your code (modulo branch prediction/cache-fretching). it's all in the compiler and like i said we already have this in many many compilers and it's surfaced in various ways (eg trip count on loops).