На каком языке написано «Освобождение сущности вычислений»?

Question

Я нашел эту статью о частичной оценки, которая выглядела довольно круто: (длинная ссылка дает HTML версия) http://webcache.googleusercontent.com/search?q=cache:sZ6qu87l4u8J:openmap.bbn.com/~kanderso/performance/postscript/essence.ps+&cd=1&hl=en&ct=clnk&gl=us

Я думал, что я прочитал его и запустить код, как я пошел. Тем не менее, я не мог получить код для запуска в Racket Scheme или SBCL.

Кто-нибудь знаком с этой статьей и знает, на каком языке она написана?

Answer 1

Из текста:

примеров программного обеспечения приведены в схеме, как диалект Common Lisp , где определяют заменяет DefVar, определение функции и DEFMETHOD. Хотя это может быть , запутанное для некоторых, идея состоит в том, чтобы сохранить абстрактное и бесплатное программное обеспечение ненужных деталей, поскольку необходимо показать, как такой язык можно легко и эффективно реализовать. Идеи, высказанные здесь , должны также переноситься на другие языки, возможно, с немного большей работой.

Звучит как школа Дейкстры. Если вам нужны практические книги, которые вы можете кодировать вместе, я бы предложил SICP или Practical Common Lisp. Если вы не прошли мимо основ, я также предложил бы Schemer Trilogy. Кроме того, если вы в порядке с записью на языках, отличных от Lisp, проверьте Write Yourself a Scheme.

Answer 2

Другая замечательная книга для LISPing - это пользователя Paul Graham ANSI Common Lisp, который имеет название как справочное руководство, но читается невероятно хорошо. Если вы абсолютно проданы, при реализации абстрактного кода используйте this, чтобы найти грубые (или мелкие) эквиваленты кода и отредактировать его для потребления CL.