分布式λ演算解释器的实现
Implementing distributed λ-calculus interpreter
摘要：
本文描述了如何从头开始实现分布式λ演算解释器。首先，我们描述了如何实现一元语法分析器，然后介绍了Krivine机的解释部分和分发，演员模型使用。在这项工作中，我们不提供一般的并行解决方案，但我们考虑特定的模式，它总是可以并行化。在此基础上，介绍了按名调用分布式机器的基本可扩展实现，并给出了原型系统。我们在某些情况下实现了计算速度的提高，但没有实现高效的分布式版本，问题在评估部分进行了讨论。这项工作提供了一个基础，为进一步的研究，完成实现，可以添加并发的非确定性，改善解释器使用按需调用语义或研究最佳的自动并行化，以推广什么可以有效地并行。
英文摘要：
This paper describes how one can implement distributed λ-calculus interpreter from scratch. At first, we describe how to implement a monadic parser, than the Krivine Machine is introduced for the interpretation part and as for distribution, the actor model is used. In this work we are not providing general solution for parallelism, but we consider particular patterns, which always can be parallelized. As a result, the basic extensible implementation of call-by-name distributed machine is introduced and prototype is presented. We achieved computation speed improvement in some cases, but efficient distributed version is not achieved, problems are discussed in evaluation section. This work provides a foundation for further research, completing the implementation it is possible to add concurrency for non-determinism, improve the interpreter using call-by-need semantic or study optimal auto parallelization to generalize what could be done efficiently in parallel.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
