LISP 1.6.

Тот самый. IBM-овский. От МакКарти.

...по результатам чтения кода Максимы ( Read more... )

>grep -i defmacro *.lisp | wc -l
541
>wc -l *.lisp
118258
>egrep -i "(defun|defmfun) *.lisp | wc -l
5476defmfun - макро, определяющее функцию специального вида. Я не очень понял, какого, но это явно определение функции.
(defmacro defmfun (function &body rest &aux .n ( Read more... )

Конспект одного из его выступлений.

Цитата: Multics Emacs proved to be a great success - programming new editing commands was so convenient that even the secretaries in his office started learning how to use it. They used a manual someone had written which showed how to extend Emacs, but didn't say it was a programming. So the secretaries, who ( Read more... )

http://www.cliki.net/Zeta-C

Интересно.

А может, кому ещё и полезно будет. ;)

PS
Он в Лисп компилирует. Си - в Лисп. Ужас.

Одно из направлений атаки лиспера было ast:visit.

Который ast появился позже (~2008), чем Scrap Your Bolierplate (~2003).

Иными словами, налицо заимствование. Не идеи из Лиспа в Хаскель, а наоборот.

Надо было бить фактами. Придётся ещё раз, буду.

К недавнему посту про ACL2.

Глава из книги "Computer-Aided Reasoning: ACL2 Case Studies."
http://www-static.cc.gatech.edu/fac/Pete.Manolios/research/acs-mu-calc.html

Abstract
Temporal logic model-checking has received substantial academic ( Read more... )