ATS - mrsekut-p

ATS

依存型と線形型を持つ

http://jats-ug.metasepi.org/

http://jats-ug.metasepi.org/doc/ATS2/INT2PROGINATS/book1.html

配列の境界検査ができるらしい

http://jats-ug.metasepi.org/doc/ATS2/INT2PROGINATS/x2460.html

arrayref(T, I)という型を持つ

Iは配列のサイズ

依存型の一種

静的に検査するので、実行時には検査しない

一方、普通の？言語では、静的に検査はできてないので実行時にやっている

Haskellとかでもたしかそう

Termination Analysisができるらしい

http://jats-ug.metasepi.org/doc/ATS2/INT2PROGINATS/x2485.html

再帰関数の停止性検査をする

参考

https://en.wikipedia.org/wiki/ATS_(programming_language)

#プログラミング言語