generated at
2/18/2025, 3:21:12 PM
配列の境界検査
bounds check
https://en.wikipedia.org/wiki/Bounds_checking
Dependent Types in Pratical Programming
ref
p.5 の補足
ATS言語
や
Coq
はできるらしい
p.5 の補足