4 ms·
If people are interested in how compilers can automatically remove expensive overflow checks I wrote a blog post about it in the context of Ruby and Java. http
by chrisseaton 5y ago
If people are interested in how compilers can automatically remove expensive overflow checks I wrote a blog post about it in the context of Ruby and Java.
https://chrisseaton.com/truffleruby/stamping-out-overflow-checks/ https://chrisseaton.com/truffleruby/stamping-out-overflow-ch...
- carapace 5y agoSo stamps are like dependent types?
- chrisseaton 5y agoYes - but invisible to the user and inferred automatically.
- carapace 5y agoOh cool. That's pretty neat!