[论文解读] Linguistic Relativity and Programming Languages

Jiahao Chen|arXiv (Cornell University)|Aug 12, 2018

Sensory Analysis and Statistical Methods被引用 6

一句话总结

本文通过比较 MATLAB、APL、R/dplyr 和 Julia 等编程语言在数据分析中实现拆分-应用-合并模式的方式，探讨了编程语言中的语言相对性。研究显示，不同语言在语法和概念上的差异会影响用户对数据操作的思考与表达方式，表明编程语言如同自然语言一般，会影响解决问题的认知方法；Julia 通过灵活的抽象机制，支持多样化的编程偏好。

ABSTRACT

The use of programming languages can wax and wane across the decades. We examine the split-apply- combine pattern that is common in statistical computing, and consider how its invocation or implementation in languages like MATLAB and APL differ from R/dplyr. The differences in spelling illustrate how the concept of linguistic relativity applies to programming languages in ways that are analogous to human languages. Finally, we discuss how Julia, by being a high performance yet general purpose dynamic language, allows its users to express different abstractions to suit individual preferences.

研究动机与目标

• 调查编程语言语法与设计的差异如何影响开发者对数据分析模式的概念化与实现方式。
• 探索自然语言中的语言相对性与编程语言之间的类比，特别是在数据操作工作流中的体现。
• 证明拆分-应用-合并模式在 R/dplyr、MATLAB 和 APL 等语言中的实现，在表达力和认知负荷方面存在显著差异。
• 评估 Julia 作为高性能通用编程语言在支持多种抽象方面的作用，使用户能够根据偏好选择编程风格。
• 主张编程语言设计不仅影响性能，还影响数据分析任务的认知框架。

提出的方法

• 分析 MATLAB、APL、R/dplyr 和 Julia 等多种编程语言在实现拆分-应用-合并模式时的句法与语义差异。
• 比较各语言在常见数据操作任务中代码的冗长度、可读性与概念清晰度。
• 以语言相对性（Sapir-Whorf 假说）作为理论视角，解释语言设计如何塑造编程中的思维与问题解决方式。
• 研究 Julia 的设计特性，使其能在单一语言中支持多种抽象（如函数式与命令式风格），满足不同用户偏好。
• 结合真实代码示例与统计计算中的用户体验观察，说明认知负荷与表达力的差异。
• 评估各类语言在表达力与性能之间的权衡，特别是在统计与数据分析工作负载背景下的表现。

实验结果

研究问题

• RQ1 不同编程语言如何实现拆分-应用-合并模式，其在表达力与认知负荷方面有何差异？
• RQ2 编程语言在句法与语义上的差异在多大程度上影响开发者对数据操作任务的思维方式？
• RQ3 Julia 的设计在多大程度上支持多种抽象？这种支持如何影响用户的选择与编程中的认知灵活性？
• RQ4 源自人类语言学的语言相对性概念，如何适用于编程语言的设计与使用？
• RQ5 通过比较 APL、MATLAB、R/dplyr 和 Julia，能获得哪些关于其对数据分析工作流与开发者认知影响的见解？

主要发现

• R/dplyr、MATLAB、APL 和 Julia 等语言在实现拆分-应用-合并模式时，其语法与概念框架存在显著差异，反映出不同的数据操作认知路径。
• APL 和 MATLAB 使用高度简洁、领域特定的语法，可显著缩短代码长度，但因符号与操作符非直观，可能增加认知负荷。
• R/dplyr 的数据操作语法提供清晰、可组合且直观的接口，与自然语言结构高度契合，从而提升代码可读性与可维护性。
• Julia 在保持高性能的同时支持多种编程范式，使用户可根据个人或项目偏好选择函数式、命令式或面向对象的编程风格。
• 不同语言对同一模式的表达差异表明，编程语言如同自然语言一般，塑造用户对计算问题的感知与解决方式。
• 本研究结论认为，语言设计对开发者认知具有深远影响，对工具开发、教育以及数据科学与统计计算领域的语言设计具有重要启示。