Pantograph：一款流畅且类型安全的结构化编辑器

Pantograph 是一款革命性的结构化代码编辑器，它直接操作类型化的语法树，而不是像传统编辑器那样先解析文本再进行类型检查。通过引入树选择和“拉链编辑”的概念，Pantograph 简化了对现有程序的编辑，使程序员可以更轻松地进行复杂的代码修改，同时保持程序的类型安全。它巧妙地处理类型差异，并允许程序中存在一些错误，方便用户逐步调试。Pantograph 的设计具有语言通用性，开发者可以基于其框架定义新的编辑器。