blob: 9e67368403aa3d7231341d86530258c64f15428e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
Index types / integer provenance
================================
It would be nice to be able to use the type system to avoid conversions
between different kinds of integers.
There are many different types and subtypes of integers:
* Indexes of arrays:
- Subtyped based on element type
- Could possibly be further subtyped depending on the semantic meaning of
the particular array.
* Integral units:
- Subtyped based on "unit" (e.g. "seconds" vs "pixels")
- Further subtyped based, e.g. "duration" vs "timestamp".
|
