Avatar
omochimetaru 10/3/2017 2:04 AM
—> MI<2>: {0, 1}, where 1 + 1 = 0. —> MI<3>: {0, 1, 2}, where 1 + 1 = 2, and 2 • 2 = 1 —> ... and so on.
2:04 AM
DependentTypeってGenericsのところに値を入れられる概念のことかな
2:05 AM
don’t we need something like this for Fixed Size Arrays™ too?
FixedArray<3> とかも言及されてる