Re: List functions

[Hans Aberg]

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.