Open coolya opened 5 years ago
Apart from only distinguishing between integers and floating points we could extend the type system to work with number ranges. The typesystem should be able to track ranges across arithmetic operations and calculate them accordingly
Apart from only distinguishing between integers and floating points we could extend the type system to work with number ranges. The typesystem should be able to track ranges across arithmetic operations and calculate them accordingly