johnynek / bosatsu

A python-ish pure and total functional programming language
Apache License 2.0
222 stars 11 forks source link

Add Int32, Int64 and Int8 types #1191

Open johnynek opened 3 months ago

johnynek commented 3 months ago

External types that model direct machine types would be useful. That said, it might be better to optimize "number like" Enums such that we can model these with enums but get the efficiency of a built in type.