|
|
|
|
|
|
by lmm
851 days ago
|
|
|
> If I wanted to deeply pedantic, I think the blocks associated with those monady bits keep the parameters in scope longer than needed. I don't think so? If you write it as a "flat" block using do notation then anything from earlier in the block is accessible later in the block. But local functions are real functions with lexical scope, they don't get hoisted up to the containing scope or anything. (And FWIW that's Scala-style syntax, although the ideas are very Haskell-like) |
|
|
Have you written much Prolog?
I was thinking about in Prolog terms and I think it’s the hardest paradigm to avoid the scoping problem in