getFunction : type -> when type is "double" then @double "square" then @square _ then @add1; double : x -> x * 2; square : x -> x * x; add1 : x -> x + 1; result : getFunction "double"; ..out result;