……途径就是去读理论，毕竟 lambda-calculus 作为一种演算本身极其简单，你完全可以对手头绑定的变量重命名（bound-variable renaming）问题含糊带过。一本节奏平缓的教材，比如 Hankin 的《An Introduction to Lambda Calculi for Computer Scientists》，再把前几章的练习题做做，就完全够用了。
…way is to read the theory, after all the lambda-calculus as a calculus is incredibly simple, and you can hand-wave away the problems of bound-variable renaming. A slow-paced textbook like Hankin's "An Introduction to Lambda Calculi for Computer Scientists", and doing the exercises in the first few chapters should do the job.
我发现《An Introduction to Lambda Calculi for Computer Scientists》[1] 这本书很适合入门这些概念。对于想更进一步的人，Henk Barendregt[2] 的著作被广泛认为是 lambda-calculus 和组合子（combinators）方面的权威参考。刚大学毕业那会儿……
I found the book "An Introduction to Lambda Calculi for Computer Scientists"[1] to be a good intro to these concepts. For those who want to go further, books by Henk Barendregt[2] are widely considered to be a reference to lambda-calculus and combinators. Fresh out of college…
……途径就是去读理论，毕竟 lambda-calculus 作为一种演算本身极其简单，你完全可以对手头绑定的变量重命名（bound-variable renaming）问题含糊带过。一本节奏平缓的教材，比如 Hankin 的《An Introduction to Lambda Calculi for Computer Scientists》，再把前几章的练习题做做，就完全够用了。
…way is to read the theory, after all the lambda-calculus as a calculus is incredibly simple, and you can hand-wave away the problems of bound-variable renaming. A slow-paced textbook like Hankin's "An Introduction to Lambda Calculi for Computer Scientists", and doing the exercises in the first few chapters should do the job.
我发现《An Introduction to Lambda Calculi for Computer Scientists》[1] 这本书很适合入门这些概念。对于想更进一步的人，Henk Barendregt[2] 的著作被广泛认为是 lambda-calculus 和组合子（combinators）方面的权威参考。刚大学毕业那会儿……
I found the book "An Introduction to Lambda Calculi for Computer Scientists"[1] to be a good intro to these concepts. For those who want to go further, books by Henk Barendregt[2] are widely considered to be a reference to lambda-calculus and combinators. Fresh out of college…