top | item 33895787 (no title) halpmeh | 3 years ago The issue with this type of promotion is that you usually want to preserve the type. Like if I add two int32s, I probably want an int32 as a result.A cooler feature would be requiring the compiler to prove the addition wouldn’t overflow. discuss order hn newest Sesse__|3 years ago > A cooler feature would be requiring the compiler to prove the addition wouldn’t overflow.Wuffs is specialized enough to do exactly that (https://github.com/google/wuffs).
Sesse__|3 years ago > A cooler feature would be requiring the compiler to prove the addition wouldn’t overflow.Wuffs is specialized enough to do exactly that (https://github.com/google/wuffs).
Sesse__|3 years ago
Wuffs is specialized enough to do exactly that (https://github.com/google/wuffs).