RFC: The path to Futamura 🗻 - #784

Draft

gustavo-grieco wants to merge 11 commits into

argotorg:mainfrom

gustavo-grieco:dev-futamura

Commits on Jun 28, 2025

started to add some code to produce futamura projections
gustavo-grieco
committed
a14a0c6

Commits on Jun 29, 2025

removed some compilation errors, but still some others there
gustavo-grieco
committed
b84b9f1

Commits on Jun 30, 2025

compilation works
gustavo-grieco
committed
30b4e18

Commits on Jul 1, 2025

first opcodes correctly compiled and executed
gustavo-grieco
committed
efa4aee

Commits on Jul 2, 2025

Commits on Jul 3, 2025

more opcodes and use st monad a single time
gustavo-grieco
committed
615fe95

Commits on Jul 5, 2025

naive cfg building to generate a complete program in haskell from opcodes
gustavo-grieco
committed
bdaf32a

Commits on Jul 6, 2025

experimented a bit with opcodes
gustavo-grieco
committed
4ab3b8b