3 ms·
This is basically the solution py2many uses for handling overflow from fixed width integer types when transpiling from python to low level systemsy languages su
by adsharma 5y ago
This is basically the solution py2many uses for handling overflow from fixed width integer types when transpiling from python to low level systemsy languages such as Rust/C++ and Go.
Please file bugs if something deviates from what's expressed here.
- adsharma 5y agoLink to the test that's relevant for this discussion: https://github.com/adsharma/py2many/blob/main/tests/cases/infer_ops.py https://github.com/adsharma/py2many/blob/main/tests/cases/in... This is an explicit deviation from python's bigint, which doesn't map very well to systemsey languages. The next logical step is to build on this to have dependent and refinement types. Work in progress here: https://github.com/adsharma/Typpete https://github.com/adsharma/Typpete