Итак, запись в Википедии Lambda Calculus была интересной, но я ее закончил. Я хочу погрузиться немного глубже и лучше понять Лэмбда Исчисление.Каковы ресурсы для изучения Lambda Calculus?
Может ли кто-нибудь порекомендовать то, что они считают лучшей книгой или учебником для Lambda Calculus?
Если вы сделали запись в Википедии, перейдите по ссылке в онлайне Structure and Interpretation of Computer Programs, выполните задания, или read the book.
alt text http://mitpress.mit.edu/images/products/books/0262011530-medium.jpg
+1 Это классический ресурс. Это был учебник для моего первого курса программирования. –
так же. хотя речь идет скорее о практичности, а не о формальности самого лямбда-исчисления. –
+1 Чтение сейчас ... вместо 6-7 лет назад ... Воспроизводит мир разработчика/программиста/программиста. –
Я нашел «An introduction to Lambda Calculi for Computer Scientists» Крис Ханкина быть довольно хорошо, но я только действительно использовал его для одного класса - не использовали его в реальном мире :)
alt text http://ecx.images-amazon.com/images/I/4165AQ4AF8L._SL500_AA240_.jpg
Лучшие из книг, которые я пробовал –
@ThomasAhle Какие другие книги вы пробовали? –
Ну, всегда есть An Introduction to Lambda Calculus. Я пробовал читать его несколько раз, но всегда застрял. Я чувствую, что я уже знаю большую часть этого материала и, вероятно, будет легче понять это, если бы он был представлен в терминах Lisp/Scheme, а не математике. Возможно, вам повезло больше :)
Я думаю, что ссылка на тему самого лямбда-исчисления по-прежнему равна Barendregt's book.
alt text http://ecx.images-amazon.com/images/I/41BRXJ7E7GL._SL500_AA240_.jpg
За что это в значительной степени зависит от того, что «часть» лямбда-исчисления вас интересует: печатать? доказательная теория? долгосрочная переписывание? функциональное программирование?
Каждое из них - поле само по себе, и я не знаю ни одной книги, которая бы охватывала все это.
правильный, но он предназначен для очень продвинутых программистов, а не для новичков. – alinsoar
Попробуйте написать переводчик лямбда-исчисления, в идеале, на функциональном языке, используя синтаксис языка, а не через синтаксический анализатор. Это удивительно легко и хороший способ улучшить ваше восприятие.
Вот хорошее объяснение (используя схему): 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
Удачи!
Недавно я купил книгу от Амазонки под названием "An Introduction to Functional Programming Through Lambda Calculus" от Грега Майклсона. Это скорее введение в функциональное программирование, а также введение лямбда-исчисления. Первое впечатление очень хорошее. Самостоятельная и легко читаемая книга. Here, вы можете скачать бесплатную версию без индекса в PostScript.
Книга, которая действительно заставила меня начать использовать и понять исчисление лямбда, была «Представление и вывод для естественного языка» Блэкберна и Боса. Это книга о обработке естественного языка с использованием Prolog. Другая книга, которую вы можете рассмотреть, - это «Естественное знание языка» Аллена. Наконец, если вам нравится лямбда-исчисление, вам, вероятно, также понравится комбинаторная логика, поскольку комбинаторы могут быть определены как односимвольные лямбда-выражения. Для этого я настоятельно рекомендую книгу загадок Смулланна «Издеваться над пересмешником». К концу он использует комбинаторы для создания рудиментарного языка программирования.
Книга Блэкберн и Бос теперь доступна в Интернете, http://www.coli.uni-saarland.de/publikationen/softcopies/Blackburn:1997:RIN.pdf –
См. Вопрос math.sx [Изучение исчисления лямбда] (http: //math.stackexchange.com/questions/967/learning-lambda-calculus/1059 # 1059) –
Я проголосовал за повторное открытие, поскольку, несмотря на то, что он не по теме с некоторых точек зрения, тема действительно важна для программирования, и мы должны услышать другие мнения. – alinsoar