Stream: ideas

Topic: integer casting, overflow, underflow


view this post on Zulip Qqwy / Marten (Sep 05 2022 at 19:53):

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: Jun 16 2026 at 16:19 UTC