PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design
PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design
复制标题
PLIERS：将以用户为中心的方法集成到编程语言设计中的过程
DOI：
10.1145/3452379
复制
发表时间：
2021
影响因子：
3.7
通讯作者：
Myers, Brad A.
中科院分区：
文献类型：
--
作者：
Coblenz, Michael;Kambhatla, Gauri;Koronkevich, Paulette;Wise, Jenna L.;Barnaby, Celeste;Sunshine, Joshua;Aldrich, Jonathan;Myers, Brad A.
编程语言设计需要做出许多与可用性相关的设计决策。然而，现有的人机界面方法可能不适用于编程语言：语言的迭代成本很高，程序员需要大量的学习时间，并且用户性能差异很大。为了解决这些问题，我们采用了形成式和终结式两种人机交互方法，使它们更适合于编程语言设计。我们将这些方法集成到一个新的过程中，用于以用户为中心设计编程语言。我们通过使用它来设计两种新的编程语言来评估老虎机。冰川对Java进行了扩展，使程序员能够有效而轻松地表达不变性属性。黑岩是一种区块链语言，包括对关键安全属性的验证。经验研究表明，钳子过程产生了许多程序员可以有效使用的语言，并揭示了语言改进的额外机会。
Programming language design requires making many usability-related design decisions. However, existing HCI methods can be impractical to apply to programming languages: languages have high iteration costs, programmers require significant learning time, and user performance has high variance. To address these problems, we adapted both formative and summative HCI methods to make them more suitable for programming language design. We integrated these methods into a new process, PLIERS, for designing programming languages in a user-centered way. We assessed PLIERS by using it to design two new programming languages. Glacier extends Java to enable programmers to express immutability properties effectively and easily. Obsidian is a language for blockchains that includes verification of critical safety properties. Empirical studies showed that the PLIERS process resulted in languages that could be used effectively by many programmers and revealed additional opportunities for language improvement.