Wertübergabe (CBV)

call-by-value

ist bisher implementiert

type Env = Name -> Val

evaluate env x = case x of ...
    Ref n -> return $ env n
    App f a -> 
        with_fun ( evaluate env f ) $ \ fun ->
        with     ( evaluate env a ) $ \ arg ->
        fun arg