Compiling Algebraic Effects to C++

Marcos Vinicius Moreira Santos

Os Efeitos algébricos são uma abordagem para efeitos computacionais baseada na premissa de que o comportamento impuro surge de um conjunto de operações e fornecem ao programador uma estrutura poderosa para construir abstrações avançadas de fluxo de controle de maneira pura mente funcional. Durante este relatório, será descrita uma técnica utilizada para construir um compilador simples capaz de transformar uma linguagem simples que suporte abstrações semelhantes a Efeitos Algébricos em código C++.


2023/1 - POC1

Orientador: Fernando Magno Quintao Pereira

PDF Disponível