이번 주에는 출퇴근하면서 스티브 울프람의 람다 대수 관련 글을 읽어봐야겠다. 읽을 게 쌓여간다... https://writings.stephenwolfram.com/2025/09/the-ruliology-of-lambdas/
절반 정도 읽었는데 정말...무슨 말인지 잘 모르겠고, beta reduction을 수행하면 왜 이렇게 치환되는지도 잘 모르겠다. 아쉽게도 초심자를 위한 글은 아니었다...
이번 주에는 출퇴근하면서 스티브 울프람의 람다 대수 관련 글을 읽어봐야겠다. 읽을 게 쌓여간다... https://writings.stephenwolfram.com/2025/09/the-ruliology-of-lambdas/
절반 정도 읽었는데 정말...무슨 말인지 잘 모르겠고, beta reduction을 수행하면 왜 이렇게 치환되는지도 잘 모르겠다. 아쉽게도 초심자를 위한 글은 아니었다...