Inferring type rules for syntactic sugar

Q1 Computer Science

ACM Sigplan Notices Pub Date : 2018-06-11 DOI:10.1145/3296979.3192398

Justin Pombrio, S. Krishnamurthi

引用次数: 6

Abstract

Type systems and syntactic sugar are both valuable to programmers, but sometimes at odds. While sugar is a valuable mechanism for implementing realistic languages, the expansion process obscures program source structure. As a result, type errors can reference terms the programmers did not write (and even constructs they do not know), baffling them. The language developer must also manually construct type rules for the sugars, to give a typed account of the surface language. We address these problems by presenting a process for automatically reconstructing type rules for the surface language using rules for the core. We have implemented this theory, and show several interesting case studies.

查看原文本刊更多论文

推断语法糖的类型规则

类型系统和语法糖对程序员来说都很有价值，但有时会产生冲突。虽然糖是实现现实语言的一种有价值的机制，但扩展过程模糊了程序源结构。因此，类型错误可能会引用程序员没有编写的术语(甚至是他们不知道的结构)，使他们感到困惑。语言开发人员还必须手动为糖构建类型规则，以给出表面语言的类型说明。我们通过提出一个使用核心规则自动重建表面语言类型规则的过程来解决这些问题。我们已经实现了这个理论，并展示了几个有趣的案例研究。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

ACM Sigplan Notices 工程技术-计算机：软件工程

CiteScore

4.90

自引率

0.00%

发文量

审稿时长

2-4 weeks

期刊介绍： The ACM Special Interest Group on Programming Languages explores programming language concepts and tools, focusing on design, implementation, practice, and theory. Its members are programming language developers, educators, implementers, researchers, theoreticians, and users. SIGPLAN sponsors several major annual conferences, including the Symposium on Principles of Programming Languages (POPL), the Symposium on Principles and Practice of Parallel Programming (PPoPP), the Conference on Programming Language Design and Implementation (PLDI), the International Conference on Functional Programming (ICFP), the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), as well as more than a dozen other events of either smaller size or in-cooperation with other SIGs. The monthly "ACM SIGPLAN Notices" publishes proceedings of selected sponsored events and an annual report on SIGPLAN activities. Members receive discounts on conference registrations and free access to ACM SIGPLAN publications in the ACM Digital Library. SIGPLAN recognizes significant research and service contributions of individuals with a variety of awards, supports current members through the Professional Activities Committee, and encourages future programming language enthusiasts with frequent Programming Languages Mentoring Workshops (PLMW).