On 1 Dec 2010, at 20:51, Andy Wingo wrote:
() x into (() x)
What is the meaning of this?
Did you mean
() x into (map (lambda (f) (f x)) '())
?
I am trying to eliminate the "\" of the Haskell binding syntax \ ... -
> f, by making the parser grammar rule for ... the same as evaluation
rule f ...
Then, as one can define \() x -> f for thunks, also () x becomes
available for evaluation. So the question is to bother giving it
meaning. One possibility might be as a constant evaluation to itself
() x = () for any argument.
