3 ms·
This "upcasting" and "downcasting" also work with mathematics itself. For example, we can consider adding infinitesimals to the real numbers, allowing us to do
by dietrichepp 11y ago
This "upcasting" and "downcasting" also work with mathematics itself. For example, we can consider adding infinitesimals to the real numbers, allowing us to do calculus without taking limits. Then we can downcast back to the real numbers.