Какие ресурсы для изучения лямбда-исчисления?[закрыто]

Question

Итак, запись в Википедии на Лямбда-исчисление было интересно, но я закончил.Я хочу погрузиться немного глубже и лучше понять лямбда-исчисление.

Может ли кто-нибудь порекомендовать то, что он считает лучшей книгой или учебником по лямбда-исчислению?

Answer 1

Если вы закончили работу с записью в Википедии, перейдите по ее ссылке на онлайн-ресурс. Структура и интерпретация компьютерных программ, выполнить задания или прочитать книга.

Answer 2

Ну, всегда есть Введение в лямбда-исчисление.Несколько раз пытался прочитать, но всегда застревал.Меня мучает ощущение, что я уже знаю большую часть этого материала и, вероятно, мне было бы легче его понять, если бы он был представлен в терминах Lisp/Scheme, а не в математических терминах.Хотя, возможно, вам повезет больше :)

Answer 3

Я нашел "Введение в лямбда-исчисление для компьютерщиков«От Криса Ханкина, это довольно хорошо, но я действительно использовал его только для одного урока, а не в реальном мире :)

Answer 4

Попробуйте написать интерпретатор лямбда-исчисления, в идеале на функциональном языке, используя встроенный синтаксис языка, а не с помощью синтаксического анализатора.Это на удивление просто и хороший способ улучшить свои ощущения.

Answer 5

Недавно я купил на Amazon книгу под названием «Введение в функциональное программирование с помощью лямбда-исчисления» Грег Майклсон.Это скорее введение в функциональное программирование, а также знакомит с лямбда-исчислением.Первое впечатление вполне хорошее.Самостоятельная и легко читаемая книга. Здесь , вы можете скачать бесплатную версию без индекса в PostScript.

Answer 6

Книга, которая действительно заставила меня начать использовать и понимать лямбда-исчисление, была «Представление и вывод для естественного языка» Блэкберна и Боса.Это книга об обработке естественного языка с использованием Пролога.Еще одна книга, которую вы можете рассмотреть, — «Понимание естественного языка» Аллена.Наконец, если вам нравится лямбда-исчисление, вам, вероятно, также понравится комбинаторная логика, поскольку комбинаторы можно определить как лямбда-выражения.Для этого я настоятельно рекомендую книгу о головоломках Смолляяна «издеваться над пересмешниками». В конце он использует комбинаторы для создания рудиментарного языка программирования.

Answer 7

Я думаю, что ссылка на тему самого лямбда-исчисления все еще актуальна. книга Барендрегта.

Помимо этого, это во многом зависит от того, какая «часть» лямбда-исчисления вас интересует:печатаешь?теория доказательств?переписывание термина?функциональное программирование?

Каждая из этих областей сама по себе является областью, и я не знаю ни одной книги, которая бы охватывала все это.

Answer 8

Вот хорошее объяснение (с использованием схемы): 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

Веселиться!