ACL2 は Common Lisp のサブセットだから本当に LISP だよ!って言いたいけど lambda 式を失った LISP のことを人々が LISP として認めてくれるのかどうかが怪しい。cons セルがあってコードがリストでマクロが使えるところまでは LISP らしさある。
ACL2 は Common Lisp のサブセットだから本当に LISP だよ!って言いたいけど lambda 式を失った LISP のことを人々が LISP として認めてくれるのかどうかが怪しい。cons セルがあってコードがリストでマクロが使えるところまでは LISP らしさある。
senooken JP Social is a social network, courtesy of senooken. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.
All senooken JP Social content and data are available under the Creative Commons Attribution 3.0 license.