Skip to main content

projection3_source_real

logicaffeine_cli::compile

Function projection3_source_real 

Source 
pub fn projection3_source_real(
    _core_types: &str,
) -> Result<GenuineProjectionResult, String>
Expand description

Genuine Futamura Projection 3 via self-application: PE(pe_source, pe_bti(targetStmts))

The outer PE (pe_source) specializes pe_bti’s FULL BLOCK evaluator (a full PE with memoization, structurally identical to pe_source with renamed entry points) with known state (empty env, empty funcs, depth 200). This is genuinely PE(PE, PE).

The result is a specialized cogen: the PE naturally produces block-level dispatch through specialization of peBlockB, eliminating the need for a Rust-generated wrapper.