当然只有一天了，所以 PIRV 这种要再转换成 IR 的特殊解释器肯定旧做不了了...

临时设计一个更简单的，一样的词法规则，然后传统 Sexp AST 解释器的模式
还是要支持 lazy、eval 和 CPS

这个问题里有学院派和偏向学院派的工程派的回答... 你们应该能看出区别吧

应该说他们都讲的很好，可以说是尽可能容易理解了，但回答的角度和层次不同，自然就会有容易理解和不容易理解的区分

当然我是不会做 TCO 的 CFA 流程控制分析 的，所以得在 tco 调用后面加 yield ...

如何解释 Lisp 中 call/cc 的概念？ - 知乎用户的回答 - 知乎
https://www.zhihu.com/question/21954238/answer/23905991

我选择了一个最容易理解的「表层（使用）上」的描述

(call/cc
  (lambda (next) BODY))

continuation 是“然后要做的事情”，“要做的事情”我们用什么表示？当然是函数，所以说 k 是个函数。

如果我们在 BODY 里呼叫了 (next ...)，那么会立即跳出 (call/cc (lambda (next) BODY))，去做下一个括号/外层括号的事。

那么刚才 (let/cc next BODY) 没执行完，它的返回值是什么呢？就是你传给 next 的参数。

举个最简单的例子（简化版 R5RS 例子），

这里，(let/cc next ...) 可以理解为 (call/cc (lambda (next) ...))

((let/cc next (for-each
  (lambda (x) (if (= x 1) (next) (display x)))
  '(2 3 4 1 0))))

continuation 给了 Scheme 系真·functional 语言流程控制的能力，比如需要 "break" for-each 的时候

好想加此特性的说...

https://www.biwascheme.org/test/tracer.html

((call/cc (lambda (next) (for-each
  (lambda (x) (if (= x 1) (next) (display x)))
  '(2 3 4 1 0)))))

https://www.bilibili.com/blackboard/topic/index_10years_web.html#8432

我是上条当麻，我现在钱包丢了，没钱给茵蒂克丝做饭，我现在急需 98 元去买菜。我不知道什么 B站大会员也不知道什么魔禁三，求好心人帮助

👍

Call-by-name 传名调用（lazy 求值） Call-by-need（即时求值）这样简单的就先支持着， call/cc ... 反正 Sexp 外部扩展的能力肯定也不差，插件应该可以修改内部状态的 :: （所以以后再说吧

scala中的flatMap详解? - 知乎用户的回答 - 知乎
https://www.zhihu.com/question/34548588/answer/62603889

非常简单明了的解释 flatMap 用法

下面 Belleve 的回答也很简洁

先映射（map），再拍扁（join）

不过貌似不是简单的这样

[:a, :b, :c, [:ac, :bc]].map(&:to_s).flatten => ["a", "b", "c", "[:ac, :bc]"]

就是字面上的意思

[:a, :b, :c, [:ac, :bc]].flatten.map(&:to_s) => ["a", "b", "c", "ac", "bc"]

弄错了，明天返校了

http://www.yinwang.org/blog-cn/2012/07/04/dan-friedman #CS #recommended

#recommended #PL https://github.com/heidisu/java8kanren

https://github.com/jasonhemann/microKanren/blob/master/microKanren.scm

51 行，就实现了一个至少在 R6RS 上可用的逻辑式 DSL...

后面贴了他那 40 行代码，唉（真心的），我也是现在才知道他说这些代码真是“最优雅”的四十行的原因了

为了描述它，很多人（当然明显也水平不低，要不然连 CPS 是啥都可能不知道）“连平行宇宙、世界”都拿来做比喻了，效果很不好，他们或许自己的确懂，但他们不会教给别人自己所知道的知识

如果连《The Little Schemer》都没看过的话，大概也是不可能真正理解 CPS 的含义吧，就是后端老油条、精通 C++ template... coroutine... imperative 过程式语言实现、处理各种锁各种数据竞争问题...，看几遍“这个世界 那个世界”这种描述大概也没人真正明白

— 其实就是一个简单的问题，那 40 行代码到底是拿来做什么的，连怎么用都不需要知道，我想这都是苛求了

现在看来，我知道当初那些知乎上的程序员，大部分真的都不知道它是做什么的，只是不明觉历，而知乎上 PL 爱好者也不会特别纠结这些问题