用编程中的纯函数与副作用思想,分析语言组合的语义机制。
Effect-driven interpretation: Functors for natural language composition
- 将语言成分分为纯值与非纯过程,类比编程中的函数与副作用。
- 通过语义映射实现自然语言组合的清晰解释。
- 适合对形式语义学或计算语言学感兴趣的读者。
计算机程序通常被分解为纯组件——从输入到输出的简单、全函数——以及可能具有副作用的组件——如错误、内存变化、并行线程、循环中断等。我们主张,人类语言同样围绕纯值与非纯过程的交互组织,旨在展示如何利用计算机科学中的范畴论技术,支持对自然语言组合的优雅且富有洞察力的分析。
原文摘要 · Abstract (English)
Computer programs are often factored into pure components -- simple, total functions from inputs to outputs -- and components that may have side effects -- errors, changes to memory, parallel threads, abortion of the current loop, etc. We make the case that human languages are similarly organized around the give and pull of pure values and impure processes, and we'll aim to show how denotational techniques from computer science can be leveraged to support elegant and illuminating analyses of natural language composition.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。