A while back we had some conversation about different ways of number casting, and how to deal with overflow and underflow.
Today I came across the 'as if infinitely ranged' (AIR) integer model.
It makes for an interesting read. Curious to what you all think about this approach compared to what Roc does today
https://resources.sei.cmu.edu/library/asset-view.cfm?assetid=9299
Last updated: Jul 23 2026 at 13:15 UTC