[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: List functions

From: Hans Aberg
Subject: Re: List functions
Date: Wed, 1 Dec 2010 20:56:02 +0100

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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]