Current approaches to making programming languages and reasoning assistants more effective for people focus on leveraging feedback from users and on evaluating the success of particular techniques. These approaches, although helpful, may not result in systems that are as usable as possible, and may not lead to general design principles. This paper advocates for leveraging theories from cognitive science, focusing on cognitive load theory, to design more effective programming languages and reasoning assistants. Development of these theories may enable designers to create more effective programming languages and reasoning assistants at lower cost.

翻译：目前使编程语言和推理助理对人们更有效的做法侧重于利用用户的反馈和评价特定技术的成功与否,这些方法虽然有帮助,但不一定能产生尽可能实用的系统,也不一定能产生一般设计原则。本文主张利用认知科学的理论,侧重于认知负荷理论,设计更有效的编程语言和推理助理。这些理论的发展可能使设计师能够以较低的成本创造更有效的编程语言和推理助理。