Pantograph: Un editor de estructura fluido y tipado
Pantograph es un editor de código estructurado revolucionario que opera directamente sobre un árbol de sintaxis tipado, a diferencia de los editores tradicionales que analizan el texto y luego comprueban el tipo. Al introducir el concepto de selección de árbol y "edición de cremallera", Pantograph simplifica la edición de programas existentes, permitiendo a los programadores realizar modificaciones de código complejas más fácilmente, manteniendo la seguridad de tipos. Maneja inteligentemente las diferencias de tipo y permite la existencia de algunos errores en el programa, facilitando la depuración gradual. El diseño de Pantograph es genérico para el lenguaje, permitiendo a los desarrolladores definir nuevos editores basados en su marco.