Joy, Lambdas, Combinators, Procedures

Francois-Rene Rideau fare@tunes.org
Fri, 4 Feb 2000 00:17:01 +0100


> There is another way to eliminate parentheses which is much
> better. Simply write the application of "f" to "x" as "@fx",
> prefixing "@" to the function expression and parameter
> expression. Of course, any atomic expression would work
> in place of "@" (we chose "@" because it suggests "application").
The purely applicative programming language unlambda, based on combinators,
uses ` instead of @ (actually, I fear that unlambda is not so pure, in that
it has imperative I/O). See around
	http://www.eleves.ens.fr:8080/home/madore/programs/unlambda/

[ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ]
[  TUNES project for a Free Reflective Computing System  | http://tunes.org  ]
It is proof of a base and low mind for one to wish to think with the masses or
majority, merely because the majority is the majority. Truth does not change
because it is, or is not, believed by a majority of the people. 
		-- Giordano Bruno (1548-burned at the stake,1600)