Is “arithmetic” here simply a synonym for “Fermi estimates”?
I think the way arithmetic is being used here is closer in meaning to “dimensional analysis”.
“Type checking” through the use of units is applicable to an extremely broad class of calculations beyond Fermi Estimates.
Stephen puts it elegantly. Though for me who is more of a code monkey, I’d like to think of it as “Runtime Non-Zero cost type safety through some const generics”.
Is “arithmetic” here simply a synonym for “Fermi estimates”?
I think the way arithmetic is being used here is closer in meaning to “dimensional analysis”.
“Type checking” through the use of units is applicable to an extremely broad class of calculations beyond Fermi Estimates.
Stephen puts it elegantly. Though for me who is more of a code monkey, I’d like to think of it as “Runtime Non-Zero cost type safety through some const generics”.