[Main website]

paradigm/tagless-final-algebras

It is a way to expand code with operations (i.e.paradigm/algebraic-effects-handler ) into an AST having these operations ah abstract nodes, and then executing this AST from an interpreter that gives semantic to the node with operations.

It is an alternative toparadigm/algebraic-effects-handler approach.