futamura.hs

--       S      D    O
fp_1 :: (src -> i -> o) --   interpreter
     -> src             -- + source code
     -- partial application magic happens here
     -> (i -> o)        -- = executable

--        Static            Dyn    Output
fp_2 :: ((src -> i -> o) -> src -> (i -> o))  --   fp_1
     -> (src -> i -> o)                       -- + interpreter
     -- partial application magic happens here
     -> (src -> (i -> o))                     -- = compiler

--      Static                                  Dynamic            Output
fp_3 :: ((src -> i -> o) -> src -> (i -> o)) -> (src -> i -> o) -> (src -> (i -> o)) --   fp_2
     -> ((src -> i -> o) -> src -> (i -> o))                                         -- + fp_1
     -- partial application magic happens here
     -> ((src -> i -> o) -> (src -> (i -> o)))                                       -- = interpreter-to-compiler compiler