きゅーけー tojoqk@mastodon.tojo.tokyo

お、ACL2 を関数型言語と表現している記述を見つけた。別に第一級の関数がサポートされていなくても関数型言語って自称していいものなんかな。

> Q. How can create and modify an array? A. ACL2 is a functional language, so it is impossible to destructively modify an existing object; technically, all “updates” to objects must be implemented by “copy-on-write” semantics. That said, ACL2 provides support for arrays, provided you use them in a restricted way. They give you constant-time access and change under the use restrictions.
https://www.cs.utexas.edu/users/moore/acl2/v8-4/combined-manual/index.html?topic=ACL2____ARRAYS