论文标题
功能还是命令？关于可区分编程语言的愉快语义
Functional or imperative? On pleasant semantics for differentiable programming languages
论文作者
论文摘要
在机器学习（ML）中，研究人员和工程师似乎处于矛盾之处。系统实施者希望模型具有声明性，并具有详细的类型信息和语义限制，允许模型进行优化，重新排列和并行。然而，从业者对具有可变状态的动态，命令性语言表现出了压倒性的偏爱，并且花费了许多工程精力来弥合由此产生的语义鸿沟。有基本冲突吗？本文探讨了为什么使用命令和功能风格，以及未来的语言设计如何在两全其美。
In machine learning (ML), researchers and engineers seem to be at odds. System implementers would prefer models to be declarative, with detailed type information and semantic restrictions that allow models to be optimised, rearranged and parallelised. Yet practitioners show an overwhelming preference for dynamic, imperative languages with mutable state, and much engineering effort is spent bridging the resulting semantic divide. Is there a fundamental conflict? This article explores why imperative and functional styles are used, and how future language designs might get the best of both worlds.
