Modelling Linguistic Side Effects in Effekt
Modelling various linguistic phenomena such as quantification and scope together is challenging, since different effects are typically modeled using different notations and rules. Continuations have been used to represent these phenomena, but as models grow in complexity, it becomes difficult to compose effects or verify examples without manually transcribing and evaluating them.
Algebraic effect handlers provided by the Effekt programming language, offer a uniform framework for modelling linguistic effects. Using this approach, effects can be composed naturally, and examples can be evaluated by executing the programs in which they appear.
The goal of this thesis is to leverage Effekt to model a variety of linguistic effects and design a domain-specific language demonstrating their composition and application.