Lexically Scoped Higher-order Programming

let val makeAdder =

fn (x) =>

fn (y) =>

x + y

in

(makeAdder 1) 3

local

fun {MakeAdder X}

fun {$ Y}

X + Y

end

end

in

{{MakeAdder 1} 3}

end

SML

Oz

Previous slide

Next slide

Back to first slide

View graphic version