Q @masterq

文字列の長さには依存型が必要
長さのオフセットにも依存型が必要
オフセットからのインデックスにも依存型が必要
...では依存型にすべきでない対象とはなんなんでしょうか...

· tootstream · 0 · 0