判断两个λ表达式是否等价的问题是无法解决的。
我不做合作,我做的是帮忙。
技术给了我们更聪明而不是更费力地捕鱼的工具。