关系语言在 OCaml 中的带类型嵌入
编程语言
2019-01-01 v4
摘要
我们提出将关系编程语言 miniKanren 实现为 OCaml 的一组组合子与语法扩展。我们方法的关键特征是多态合一，可用于合一任意类型的数据结构。此外，我们提供了一种有用的泛型编程模式，以带类型方式系统地开发关系规约，并解决了将关系子系统集成到函数式应用中的问题。
引用
@article{arxiv.1805.11006,
title = {Typed Embedding of a Relational Language in OCaml},
author = {Dmitrii Kosarev and Dmitry Boulytchev},
journal= {arXiv preprint arXiv:1805.11006},
year = {2019}
}
备注
In Proceedings ML/OCAML 2016, arXiv:1812.10891