Mon Apr 12 10:10:29 EDT 2010
Lambda vs. Patterns
Dominikus' patterns: variables are "freed" after patterns are
executed. What makes this different from the LC?
I.e. variables are still used to provide random access to values
inside data structures (to encode permutation combinators), but there
is no concept of closure or environment.
Apples and oranges. But what is the link? How to make the
correspondence: application/abstraction vs quotation/dequotation?
Confusing stuff without a proper substrate.