Lambda Calculus를 배우기위한 리소스에는 어떤 것이 있습니까?
그래서 Lambda Calculus 의 Wikipedia 항목 이 흥미로 웠지만 끝냈습니다. 좀 더 깊이 들어가서 Lambda Calculus에 대해 더 잘 이해하고 싶습니다.
Lambda Calculus에 대한 최고의 책이나 입문서로 생각되는 것을 추천 할 수 있습니까?
Wikipedia 항목을 완료 한 경우 컴퓨터 프로그램 의 온라인 구조 및 해석 링크를 따라 가거나 과제를 수행하거나 책을 읽으 십시오 .
글쎄, 항상 Lambda Calculus 소개가 있습니다. 나는 그것을 몇 번 읽으려고했지만 항상 막혔다. 나는 이미 대부분의 내용을 알고 있으며 수학보다는 Lisp / Scheme의 관점에서 제시된 경우 이해하는 데 더 쉬울 것이라고 느낀다. 그래도 운이 좋을 수도 있습니다. :)
Chris Hankin의 " An Introduction to Lambda Calculi for Computer Scientists "가 꽤 좋다는 것을 발견 했지만 실제로는 한 수업에만 사용했습니다. 실제로 사용하지 않았습니다. :)
람다 미적분 인터 페터를 작성해보십시오. 이상적으로는 구문 분석기를 통하지 않고 언어 구문을 사용하는 기능적 언어로 작성하십시오. 이것은 놀라 울 정도로 쉽고 기분을 향상시키는 좋은 방법입니다.
저는 최근 에 Greg Michaelson이 쓴 "An Introduction to Functional Programming Through Lambda Calculus" 라는 제목의 책을 Amazon에서 구입했습니다 . 함수형 프로그래밍에 대한 소개에 가깝고 람다 미적분도 소개합니다. 첫인상은 꽤 좋습니다. 독립적이고 읽기 쉬운 책. 여기 에서 PostScript에서 색인이없는 무료 버전을 다운로드 할 수 있습니다.
제가 람다 미적분학을 사용하고 이해하게 만든 책은 Blackburn과 Bos의 "자연어 표현과 추론"이었습니다. Prolog를 사용한 자연어 처리에 관한 책입니다. 고려할 수있는 또 다른 책은 Allen의 "Natural Language Understanding"입니다. 마지막으로, 람다 미적분을 좋아한다면 결합자가 람다 식으로 정의 될 수 있기 때문에 결합 논리도 즐길 수 있습니다. 이를 위해 Smullyan의 퍼즐 책 "To Mock A Mockingbird"를 강력히 추천합니다. 결국 그는 결합자를 사용하여 기초적인 프로그래밍 언어를 구축합니다.
람다-미적분 자체에 대한 참고 문헌은 여전히 Barendregt의 책 이라고 생각합니다 .
그 외에도 관심있는 람다 미적분의 "부분"에 따라 크게 달라집니다. 타이핑? 증명 이론? 용어 재 작성? 함수형 프로그래밍?
이들 각각은 그 자체로 하나의 분야이며 모든 것을 다루는 책은 없습니다.
다음은 좋은 설명입니다 (Schema 사용) : 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
즐기세요!
참조 URL : https://stackoverflow.com/questions/515413/what-are-some-resources-for-learning-lambda-calculus
'developer tip' 카테고리의 다른 글
| PHP에서 이미지 조각을 사용하여 모양을 그리는 방법 (0) | 2021.01.08 |
|---|---|
| Java에서 런타임에 열거 요소를 추가하고 제거 할 수 있습니까? (0) | 2021.01.08 |
| Android에서 정적 변수 사용 (0) | 2021.01.08 |
| cv :: Point 세트에서 가짜 왜곡 보정을 위해 cv :: warpPerspective 실행 (0) | 2021.01.08 |
| 재구성 된 텍스트 파일에 HTML을 포함하는 방법은 무엇입니까? (0) | 2021.01.08 |