Post #2178014

@smarr@mastodon.acm.org @lindsey@recurse.social @verijit@mastodon.social @cfbolz@mastodon.social I never looked into the actual formal definitions of the Futamura Projections, but I get the sense that they are usually more referenced with respect to partial evaluation rather than meta-tracing. One important difference is that we only create the projection for taken paths and insert guards at all conditions. So maybe it would be more accurate to say that we create a partial 1st futamura projection and recover to the originial interpreter "on domain error"