MPS Meetup 2023 - Translator-taal: polymorfe dispatch en memoization MPS Meetup 2023 - Translator language - polymorphic dispatch and memoization

Translator-taal: polymorfe dispatch en memoization, door Gert E. Veldhuijzen van Zanten van de Belastingdienst We beschrijven een uitbreiding van de basistaal, de translator-taal. Die bevat polymorfe dispatch over meerdere parameters en memoization. Als je een functie uitvoert op MPS-nodes, moet je vaak child- en referentienodes bezoeken zonder in cycli terecht te komen. De taal vereenvoudigt case-analyse en voorkomt cycli via memoization, wat betekent dat elke node hooguit één keer wordt bezocht. Er is een apart taalaspect voor translators, dat kan worden uitgebreid. We laten zien hoe je de taal kunt gebruiken voor het schrijven van interpreters, migraties, typecontrole en desugaring. Ook laten we zien hoe je een tracingmechanisme aan translators toevoegt, bijvoorbeeld om coverage-tracing aan een interpreter toe te voegen.

Translator language - polymorphic dispatch and memoization by Gert E. Veldhuijzen van Zanten from Dutch Tax Office We will describe a base language extension called the translator language. It incorporates multi-parameter polymorphic dispatch and memoization. When performing some function on MPS nodes, it’s frequently necessary to visit child and reference nodes without running into cycles. The language simplifies case analysis and prevents cycles through memoization, meaning every node is visited at most once. There is a separate language aspect for translators, which can be extended. We will show how the language can be used for writing interpreters, migrations, type checking, and desugaring. We will also show how to add a tracing mechanism to translators, for example, to add coverage tracing to an interpreter.