【文件属性】:
文件名称:relational-interpreter-with-match:关系 Scheme 解释器,用 miniKanren 编写,带有 Scheme 模式匹配器
文件大小:38KB
文件格式:ZIP
更新时间:2021-06-18 15:37:06
Scheme
匹配关系解释
关系方案解释器,用 miniKanren 编写,带有支持 Racket match语法子集的模式匹配器。
与 Michael Ballantyne 合作
match语法:
(match ,expr ,clause ,clauses ...)
clause ::= (,toppattern ,expr)
toppattern ::= selfevalliteral | pattern | (quasiquote ,quasipattern)
pattern ::= var | (? ,pred ,var)
quasipattern ::= literal | (,quasipattern . ,quasipattern) | (unquote ,pattern)
selfevalliteral ::= number | #t | #f
literal ::= selfev
【文件预览】:
relational-interpreter-with-match-master
----interp-with-variadic-lambda-and-match.scm(13KB)
----interp-uber-tests.scm(39KB)
----interp-with-variadic-lambda-and-map-and-match.scm(14KB)
----.gitmodules(98B)
----variadic-lambda-with-or-tests.scm(39KB)
----match-tests.scm(12KB)
----LICENSE(1KB)
----interp-uber.scm(14KB)
----interp-with-variadic-lambda-and-or-and-match.scm(14KB)
----README.md(1KB)
----variadic-lambda-tests.scm(96KB)
----variadic-lambda-with-map-tests.scm(41KB)
----mk()
----interp-match.scm(7KB)