lambda calculus (1) 썸네일형 리스트형 JS와 Lambda Calculus 알아보기.(람다 대수) 원문 : https://glebec.github.io/lambda-talk/ Lambda as JS, or A Flock of Functions λpq.ppq also works because if p is true, it is supposed to select T, but p = T, so we can just reuse it. Notice something interesting here: λpq.ppq behaves exactly like the Mockingbird. It takes a value, p, and self-applies p (producing pp). Well, Mp = p glebec.github.io 앨런 튜링이 창안한 개념인 튜링 머신은 메모리, 명령어 등 기본적인 상태 기계를 .. 이전 1 다음