What's the reason for the need to Curry [have only single arg functions]?
Is it for <impedance matching> any input to any output, to make piping easy?
No ! Because different functions have different in & out types.
Simple imperative languages, like PASCAL: "reduce" expressions to a term.
eg. (4 < 3) OR (3 < 4) = NOT (True)
apparently reduces to the boolean: False;
and the implementation via the stack-based P-code is simple.
So what? Can reducing expressions cover general programming?
Well let's try some: calculate the surface of a sphere of size X;
is solved by mere expression evaluation.
The Name of the file in Directory, which has the most count of
<StringN>.
Thinking imperatively, ie. HOW TO:
Get the Directory;
FORALL Files
Scan & count <StringN>
and Accumulate count, for later comparison or just keep the biggest
....
But how does expression-evaluation ONLY, solve this task,
where the answer's type = FileName?
--------------= Posted using GrabIt =----------------
------= Binary Usenet downloading made easy =---------
-= Get GrabIt for free from
http://www.shemes.com/ =-
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)