Какие ресурсы для изучения лямбда-исчисления?[закрыто]
-
21-08-2019 - |
Вопрос
Итак, запись в Википедии на Лямбда-исчисление было интересно, но я закончил.Я хочу погрузиться немного глубже и лучше понять лямбда-исчисление.
Может ли кто-нибудь порекомендовать то, что он считает лучшей книгой или учебником по лямбда-исчислению?
Решение
Если вы закончили работу с записью в Википедии, перейдите по ее ссылке на онлайн-ресурс. Структура и интерпретация компьютерных программ, выполнить задания или прочитать книга.
Другие советы
Ну, всегда есть Введение в лямбда-исчисление.Несколько раз пытался прочитать, но всегда застревал.Меня мучает ощущение, что я уже знаю большую часть этого материала и, вероятно, мне было бы легче его понять, если бы он был представлен в терминах Lisp/Scheme, а не в математических терминах.Хотя, возможно, вам повезет больше :)
Я нашел "Введение в лямбда-исчисление для компьютерщиков«От Криса Ханкина, это довольно хорошо, но я действительно использовал его только для одного урока, а не в реальном мире :)
Попробуйте написать интерпретатор лямбда-исчисления, в идеале на функциональном языке, используя встроенный синтаксис языка, а не с помощью синтаксического анализатора.Это на удивление просто и хороший способ улучшить свои ощущения.
Недавно я купил на Amazon книгу под названием «Введение в функциональное программирование с помощью лямбда-исчисления» Грег Майклсон.Это скорее введение в функциональное программирование, а также знакомит с лямбда-исчислением.Первое впечатление вполне хорошее.Самостоятельная и легко читаемая книга. Здесь , вы можете скачать бесплатную версию без индекса в PostScript.
Книга, которая действительно заставила меня начать использовать и понимать лямбда-исчисление, была «Представление и вывод для естественного языка» Блэкберна и Боса.Это книга об обработке естественного языка с использованием Пролога.Еще одна книга, которую вы можете рассмотреть, — «Понимание естественного языка» Аллена.Наконец, если вам нравится лямбда-исчисление, вам, вероятно, также понравится комбинаторная логика, поскольку комбинаторы можно определить как лямбда-выражения.Для этого я настоятельно рекомендую книгу о головоломках Смолляяна «издеваться над пересмешниками». В конце он использует комбинаторы для создания рудиментарного языка программирования.
Я думаю, что ссылка на тему самого лямбда-исчисления все еще актуальна. книга Барендрегта.
Помимо этого, это во многом зависит от того, какая «часть» лямбда-исчисления вас интересует:печатаешь?теория доказательств?переписывание термина?функциональное программирование?
Каждая из этих областей сама по себе является областью, и я не знаю ни одной книги, которая бы охватывала все это.
Вот хорошее объяснение (с использованием схемы): http://www.cs.brown.edu/courses/cs173/2002/Lectures/2002-10-28-lc.pdf
А вот изящный кусочек (из моего блога) о сокращении рекурсивного факториала до чистых лямбда-выражений:http://blogs.msdn.com/b/ashleyf/archive/2008/12/03/the-lambda-calculus.aspx
Веселиться!