Re:Fast midpoint between two integers without overflow
by MaxBarraclough on Thursday December 08, 2022 @02:33PM
(#33912143)
They're right that this would require additional allocations though, no?
As you indicate though there's no need for this to be something the user of the type needs to think about.
That is false; a static language could have bignum integers. E.g. you can easily have a bignum class in C++, which is static.
You can't have a variable-length bignum as an unboxed value type.
"Language with unboxed value types" and "statically typed language" are separate, somewhat related concepts.