2 ms·
IIRC that talk of about using indices (u32) to represent data in an array. That is orthogonal to representing that information in the type system since you can
by doyougnu 6mo ago
IIRC that talk of about using indices (u32) to represent data in an array. That is orthogonal to representing that information in the type system since you can just type the index
- deleted 6mo ago[deleted]
- throwaway27448 6mo agoHow do you distinguish the array from the index? Is an array not just a pointer and index description?