함수형 언어에 관심이 생겨서 하스켈이랑 Lisp를 뒤적거려보고 있는데
lambda calculus에 대한 이야기가 자주 나오네요
간단하게 어떤 내용인지 알고 싶은데, 어떤 책이 괜찮을려나 모르겠네요
추천 좀 부탁드립니다.(__)
p.s 가능한 원서로 부탁드리겠습니다.
wiki lambda calculus 항목을 시작으로 관련 문서나 링크를 추가로 공부하는 것을 추천
lambda calculus tutorial이라고 검색해보세요. PDF 문서들이 제법 나올 겁니다.
그런데 이거 별거 아닙니다. 그냥 함수를 정의하고 그 값을 구해내는 방법에 대한 수학적인 정의에요. 우리가 "함수(function)"이라고 부르는 것을 어떻게 정의할 것인가? 그리고 입력 값을 주면 어떻게(주로 치환과 사칙연산을 통해) 최종 값을 구해낼 것인가를 밝히고 있습니다.
http://www.amazon.com/Lambda-Calculus-103-Second-Foundations/dp/0444875085/
[예진아씨 피카사 웹앨범] 임예진 팬클럽 ♡예진아씨♡ http://cafe.daum.net/imyejin
덕분에 대충 감이 오네요 (__)
http://en.wikipedia.org/wiki/Lambda_calculus
wiki lambda calculus 항목을 시작으로 관련 문서나 링크를 추가로 공부하는 것을 추천
lambda calculus
lambda calculus tutorial이라고 검색해보세요.
PDF 문서들이 제법 나올 겁니다.
그런데 이거 별거 아닙니다. 그냥 함수를 정의하고 그 값을 구해내는 방법에 대한 수학적인 정의에요.
우리가 "함수(function)"이라고 부르는 것을 어떻게 정의할 것인가? 그리고 입력 값을 주면
어떻게(주로 치환과 사칙연산을 통해) 최종 값을 구해낼 것인가를 밝히고 있습니다.
뭐니뭐니해도 바이블은 이겁니다
http://www.amazon.com/Lambda-Calculus-103-Second-Foundations/dp/0444875085/
[예진아씨 피카사 웹앨범] 임예진 팬클럽 ♡예진아씨♡ http://cafe.daum.net/imyejin
[예진아씨 피카사 웹앨범] 임예진 팬클럽 ♡예진아씨♡ http://cafe.daum.net/imyejin
답변 감사합니다.
덕분에 대충 감이 오네요 (__)