[comp.lang.functional] Re^2: Term rewriting and denotation

steve@hubcap.clemson.edu ("Steve" Stevenson) (06/15/90)

yodaiken@freal.cs.umass.edu (victor yodaiken) writes:

>t arguing that one can dispense with all but p.r. mathematics. I'm
>questioning the need for anything beyond p.r. functions in 
>a *programming language*.

If it's a while loop, then it's not p.r. Look for one program with a while
loop which cannot be a simple for loop.

-- 
===============================================================================
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906