4 ms·

Does CL have something akin to schemes "numeric tower"? number -> complex -> real -> rational -> integer. Always idly thought that could work in a statically t

Does CL have something akin to schemes "numeric tower"? number -> complex -> real -> rational -> integer. Always idly thought that could work in a statically typed lang and was a feature well worth copying (how many languages REPLs are useless as calculators due to floating point errors!)

taeric 4y ago
The general idea should be fine. The problem gets in that I have to make a choice up front in many static languages. Something I don't have to do if I give up what exact type of number I am using at the moment.