Search for a command to run...
아마 Javascript나 Python 같은 언어를 쓰다보면 람다 함수라는 말을 들어본 적이 있을 것이다. 이들 모두 Lambda Calculus가 어원임을 이름에서 부터 알아챌 수 있다.
이 시리즈에서는 람다 대수를 간단히 다뤄보려고 한다.
A Lambda Calculus Satellite 책을 읽으면서 이해된 내용을 작성한다.
필자의 내공이 부족해서 하루 4시간을 읽어도 10페이지 정도 밖에 진도를 못나가는 경우가 허다하다. 그나마도 퇴근하거나 주말에 시간이 있을때만 읽을 수 있기 때문에, 속도가 더 느릴 수 밖에 없다.
책을 읽음에 따라서 계속해서 글을 업데이트할 생각이므로 이 시리즈가 유기당하진 않을것이라 생각한다. 다만 너무 느리게 업데이트 될 뿐.. 이 시리즈의 순서 전개도 대게 책의 챕터를 따라갈 것이다.
1년 단위로 업데이트가 진행될지 모르겠다. 다만에, 시리즈가 완성됐을때는 람다 계산법 기초하면 기본적으로 언급되는 시리즈가 됐으면 좋겠다.
글을 작성했습니다.
그리고 본인의 찐 흥미 분야는 논리학쪽이라고 하신 그래서 Verse 언어의 Effect 같은 요소를 좋아하셨던 변석우 교수님께 한번 더 감사드립니다. 책을 읽으면서 모르겠는 부분을 몇차례나 또 알려주셨습니다.
PL, 함수형 언어, 로직스쪽 대학원을 나오진 않았기 때문에 깊이가 깊지 않습니다. 틀린 내용이 있을 수도 있습니다. 미리 양해 부탁드립니다.
일부 내용은 쉽게 이해할수 있도록 간략화 하거나 건너 뛰어서 서술 했습니다. 상세한 설명을 건너뛴 부분이 눈에 띄신다면 이미 본인은 전문가일 것입니다. 너그럽게 넘어가 주시면 감사하겠습니다.
이해하기 쉽게 첨부한 이미지는 대부분 ChatGPT 또는 nano-Banana가 생성한 이미지 입니다.