Tracking Issue: Supported Types For Type-Checking
We should evaluate and expand upon our current set of supported types. Here's a basic set of what we could support:
- [T]: an array of like-values
- str: a string -- the default type
-
bool: either
1
or0
- float: a generic decimal of any size
- int: a generic integer of any size, which may be negative
- i32: 32-bit int
- i64: 64-bit int
- i128: 128-bit int
- uint: a generic integer of any size, which may not be negative
- u32: 32-bit uint
- u64: 64-bit uint
- u128: 128-bit uint