multi-quine:使用关系解释器为两种类似 Scheme 的语言生成简单的多语言 quines

时间:2021-06-24 10:05:53
【文件属性】:
文件名称:multi-quine:使用关系解释器为两种类似 Scheme 的语言生成简单的多语言 quines
文件大小:10KB
文件格式:ZIP
更新时间:2021-06-24 10:05:53
Scheme 多奎宁 使用关系解释器为两种类似 Scheme 的语言生成简单的多语言 quines。 这确实是一个概念验证,因为这两种语言都只是 Scheme 的变体。 我们应该实现哪些具有更有趣差异的语言? 语言 1 支持cons但不支持list ,而语言 2 支持list但不支持cons 。 语言 1 还支持 'eval' 和惰性 $cons/$car/$cdr。 感谢 Dan Friedman 的懒惰缺点。 这是来自“multi-lang-quines-langs-1-and-2-non-cheeky”多语言quine推理测试的最后(也是最有趣的)对程序: (run 17 (p q) (eval-expo-lang-1 p '() q) (eval-expo-lang-2 q '() p)) 语言 1 中的程序p使用cons而不是list 。 也就是说,所有出现的list都被引用
【文件预览】:
multi-quine-master
----interp.scm(26KB)
----LICENSE(1KB)
----mk.scm(22KB)
----test-check.scm(391B)
----README.md(3KB)

网友评论