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

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

还是重新看了https://www.bilibili.com/video/BV1Xx41117tr?p=13。
这一套视频从2年前发现到现在,已经看了2遍了。里面不懂的课程也会一直重复看,这次倒是看懂了。觉得神奇。
函数式编程学习-SICP-LISP-求值器_第1张图片
函数式编程学习-SICP-LISP-求值器_第2张图片
函数式编程学习-SICP-LISP-求值器_第3张图片
函数式编程学习-SICP-LISP-求值器_第4张图片

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

你可能感兴趣的:(词语与文字)