In the functional programming context, parser generators are more and more replaced by parser combinator libraries. In the same way we strive to replace generators for syntax-directed editors by sets of editor combinators, and present a first working prototype.
Since lexical behaviour of editors is more complex than that of parsers, we present the abstraction of scanlets that are not only used to build parsers, but also to direct interactive editing.
In the course of this work we also identify uses for different extensions of Haskell towards second-order polymorphism, only some of which are currently implemented in existing Haskell systems.
«In the functional programming context, parser generators are more and more replaced by parser combinator libraries. In the same way we strive to replace generators for syntax-directed editors by sets of editor combinators, and present a first working prototype.
Since lexical behaviour of editors is more complex than that of parsers, we present the abstraction of scanlets that are not only used to build parsers, but also to direct interactive editing.
In the course of this work we also...
»