函数式编程学习-SICP-LISP-求值器

摸索实现CURRY化的思想的学习过程

还是重新看了https://www.bilibili.com/video/BV1Xx41117tr?p=13。
这一套视频从2年前发现到现在，已经看了2遍了。里面不懂的课程也会一直重复看，这次倒是看懂了。觉得神奇。

看到LISP中的call/cc，觉得似乎和柯里化有所关联，但是它的描述却多是一些结构控制的用法，包括知乎上的大神说的 scheme的艺术的第16章，看了一下，也是以这个目的为出发点的……就像第一次遇到monad一样，遇到call/cc真的是感觉又要开启什么奇怪的旅程了。到底怎样才能完全理解柯里化的实现方式呢？
说实话，CPS的写法距离这件事已经很近了，一种实现方式几乎呼之欲出。但我卡在call/cc这里了。