Generalisierte algebraische Theorien: Modellierung und Programmierung

GATlab ist eine Domänenspezifische Sprache für algebraische Spezifikation, die in eine technische Programmiersprache eingebettet ist. GATlab basiert auf generalisierten algebraischen Theorien (GATs), einem logischen System, das algebraische Theorien mit abhängigen Typen erweitert, um die Kategorialtheorie zu umfassen. Mit GATlab kann der Programmierer generalisierte algebraische Theorien und ihre Modelle spezifizieren, einschließlich sowohl freier Modelle, die auf symbolischen Ausdrücken basieren, als auch berechnender Modelle, die durch beliebigen Code in der Hostsprache definiert sind. Darüber hinaus kann der Programmierer Abbildungen zwischen Theorien definieren und sie verwenden, um Modelle einer Theorie deklarativ in Modelle einer anderen zu migrieren.