论文标题
Minikanren作为Python中符号计算的工具
miniKanren as a Tool for Symbolic Computation in Python
论文作者
论文摘要
在本文中，我们简要概述了Python统计建模和机器学习社区中符号计算的当前状态和未来潜力。我们详细介绍了Minikanren作为术语重写和象征性数学的基础框架，以及其协调现有Python库的使用的能力。我们还讨论了关系编程的相关性和潜力，以实施更健壮，便携式，特定领域的“数学级”优化 - 略微关注贝叶斯建模。最后，我们描述了未来的工作，并提出了一些有关统计建模和编程语言理论之间潜在交叉的问题。
In this article, we give a brief overview of the current state and future potential of symbolic computation within the Python statistical modeling and machine learning community. We detail the use of miniKanren as an underlying framework for term rewriting and symbolic mathematics, as well as its ability to orchestrate the use of existing Python libraries. We also discuss the relevance and potential of relational programming for implementing more robust, portable, domain-specific "math-level" optimizations--with a slight focus on Bayesian modeling. Finally, we describe the work going forward and raise some questions regarding potential cross-overs between statistical modeling and programming language theory.
