Eli*_*der 8 logic scheme clojure minikanren
所有miniKanren关系都以这封信结尾o.这是什么动机？我看到Clojure core.logic库也做到了这一点.
Chr*_*ung 12
在The Reasoned Schemer的前言中,他们解释了这一点:
关系,一个返回目标作为其值的函数,以上标' o ' 结束其名称(例如,car o和null o).
所以,它是表示关系的表示法.
这是因为The Reasoned Schemer的作者希望miniKanren关系的符号能够唤起普通的Scheme谓词,这些谓词以惯例结束?(例如null?,pair?).上标o,如果你眯眼(并且之前听过这个故事),看起来像是修改过的?.
| 归档时间： |
|
| 查看次数： |
560 次 |
| 最近记录： |