loom

1
#{ initial_value : null } type auto 
2
#{ initial_value : 0 }    type int
3

4
def int  : x = 12
5
def auto : f = fn [x, auto, int] (int : y) -> int 
6
            {
7
                def auto : f = fn [x,y] () -> int { return x+y }
8
                return f()
9
            }
10

11
print f(5)
12