Get the latest tech news
Pantograph: A Fluid and Typed Structure Editor
Contribute to jeprinz/pantograph development by creating an account on GitHub.
Unlike a traditional code editor in which text is parsed and then typechecked, Pantograph operates directly on a typed syntax tree. In particular, suppose that the programmer realizes that l2 never contains negative numbers, and decides to optimize the expression by moving the execution of the append operation to after the filter. * modules contain useful functionalities for defining specific editor instances (for example, language-generically deriving the propagation rules as mentioned in the paper) Tutorial.
Or read this on Hacker News