Speaking aside, can LLM agentic coding be seen as a kind of second-order Futamura projection,
? That we instructed a human language interpreter, and using some rules and template generation, internal pattern matchings by LLMs, turned that into code, and then compiled, hence indirectly completing the Futamura loop.
I would still define first-order Futamura projection as the original definition that you have direct encoding and code-to-code expansion and transformation between so.
2 comments
[ 3.4 ms ] story [ 17.7 ms ] threadI would still define first-order Futamura projection as the original definition that you have direct encoding and code-to-code expansion and transformation between so.
This feels very accurate to reality.