git.haldean.org ubik / cc4b0da
start thinking about new recursion/closure xform haldean 4 years ago
1 changed file(s) with 7 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all
101101
102102 This looks okay, but doesn't properly work, because the reference to inner in
103103 the body of the function doesn't pass any of the closed-over parameters. What
104 we want
104 we want is something more like:
105
106 : top = \x -> {
107 : inner_ = \x inner y -> inner (+ x y)
108 : inner = (inner_ x) (inner_ x)
109 ! inner
110 }