thinking about the futamura projections and losing my mind
it seems to me like the easy bit is "taking a program in some convenient representation and basically just generating code where the variables only dependent on the input being specialised over are held constant" but it seems like this requires, somehow, already having done control flow analysis over the program to be specialised? and identifying where the input is in there?