level 13
……SE帖子《Implementation of call/cc or its analog in Mathematica》（编号292572）是不是你发的？说实话你的背景介绍还是太简单了，你给的链接我看了，我自己还搜了一下，但我依旧搞不清楚call/cc是干啥的……
2024年10月05日 03点10分
吧务
level 15
2
是我...
2024年11月13日 16点11分
你也可以看看 [url]https://rufflewind.com/2016-12-11/double-negation-elimination [/url]，从call/cc推双重否定消除。理论上一个完整的双重否定消除dne[]应该可以从Exit[Exit["字符串"]]中取出字符串具体的值？
2024年11月13日 16点11分
还有mma逻辑学里面确实强制启用了排中律，参见P || ! P // TautologyQ, ! (! P) \[Equivalent] P // TautologyQ, ((P \[Implies] Q) \[Implies] P) \[Implies] P // TautologyQ, 但我现在认为他们对导出call/cc算符没有作用
2024年11月13日 17点11分