EAGER: Reconceiving Scripting Language Design

脚本语言（如Python、Javascript和Ruby）开辟了一个重要的利基市场：快速开发中小型问题的解决方案。不幸的是，今天的脚本语言也有明显的缺点：类型错误只在运行时出现，这使得隔离bug变得更加困难；没有声明的类型接口，迫使库使用非正式描述的接口；与静态类型语言相比，运行时性能很差。这些问题的主要原因是缺乏静态类型系统。这个项目是关于一种新的脚本语言的初步工作，它通过从头开始开发一种静态类型的脚本语言来解决这个问题，旨在保留现有脚本语言的灵活性，同时解决难以调试和运行时性能差的基本问题。PI的方法基于子类型约束类型推断算法，该算法非常灵活，不需要类型声明。

Scripting languages such as Python, Javascript, and Ruby have carved out an important niche: rapid development of solutions to small and medium sized problems. Unfortunately, scripting languages today also have significant shortcomings: type errors arise only at runtime, making it harder to isolate bugs; there are no declared type interfaces, forcing libraries to use informally-described interfaces; and runtime performance is poor compared to statically-typed languages. The main cause of these problems is the lack of a static type system.This project is preliminary work on a new scripting language that addresses this problem by developing a statically-typed scripting language from scratch, aiming to retain the flexibility of existing scripting languages while also solving the fundamental problems of difficult debugging and poor runtime performance. The PI's approach is based on subtype constraint type inference algorithms, which are very flexible and do not require type declarations.