Arithmetic overflow shouldn’t cause an exception, it should just resort to the default max value. There’s another overflow problem

There are some scenarios were saturation arithmetic operations are needed/prefered. Overflowing (+) and modulo (&+) are more common IME, and so they have designated operators. For saturating the LLVM intrinsics can be declared and used. https://llvm.org/docs/LangRef.html#saturation-arithmetic-intr…

[image] asterite: I’m starting to think we should disallow unions of primitive numbers I tried it, it’s a bit impossible to do. Discarding the idea.

Rust has a structure for representing saturating math operations (see here ). I worked a bit on what that might look like in Crystal a bit ago, but I didn’t think people had a use-case for it, so I didn’t try to make a proper shard out of it. I might do that now. An important note, though, is that it…

Assume there is a class which has property gold = 0. This gold can increase through various ways. The developer already knows the max value will be 2147483647. However, if that ivar gold increases by just one number, there is an exception. It’s already implied that should be the max value. A max v…

[image] IEatReturnValues4: The developer already knows the max value will be 2147483647 So later when the client reclaims the amount of gold to the bank, the bank says “Oh, you knew from the beginning that you can only have max 2147483647 gold, right?”. It seems like if I’m the bank, I’d lik…

Okay, I’ll litter my codebase with if statements every time my int value increases, to protect it from an exception. Definitely seems worth it! Wait, let me create a custom method give_gold and just use this everywhere! Oh wait, now I’ll need to create a custom method give_xxx for each different iva…

You sure must be insanely annoyed by a lot of programming languages. Seems exhausting to get upset so much, I wouldn’t want to have to trade with you!

Seems exhausting to add one line if statements everywhere to protect an int from raising an exception, yes. class Klass property gold = 0 end p = Klass.new p.gold += Int32::MAX p.gold += 1 pp p.gold LOL

[image] IEatReturnValues4: Arithmetic overflow shouldn’t cause an exception, it should just resort to the default max value. [image] IEatReturnValues4: However, if that ivar gold increases by just one number, there is an exception. Is that not better then silently capping the amount of…

Arithmethic overflow should not raise an exception

Crystal Contrib

asterite April 27, 2020, 7:51pm 13

(though as a bank it’s very unlikely to make the jump straight from Cobol to Crystal, but…)

Topic		Replies	Views
Saline: Saturating Arithmetic in Crystal Community	8	1313	July 27, 2021
Crystal 0.34.0 has been released! Official	41	2398	April 13, 2020
How to detect Arithmetic Overflow exceptions Help & Support	3	639	January 17, 2020
Another Arithemetic overflow problem Offtopic	14	808	April 27, 2020
On the Infinity of Twin Primes and other K-tuples Offtopic	22	1360	November 27, 2019

Arithmethic overflow should not raise an exception

Related topics