• 2020 年 5 月 6 日
• 筆記

没有了with表达，with，exp，body的id换成exp的lambda函数，从而可以没有with来进行实现。即，{ …