ALU capability (was Re: [E-Lang] Authority -- what is its dual?)

[Ben Laurie]

Jonathan A Rees wrote:
> LAMBDA is computationally universal (thanks to Church), so if you
> squint hard that's the only capability anyone really needs, but it
> needn't be made available.  If you want to allow only primitive
> recursion and not while loops, that can be done.  Etc.
> 
> (W7 doesn't have this feature because it has reserved words, I
> believe.)
> 
> I don't know how useful any of this is, but it certainly contributes
> to the nit-like nature of this discussion.

Hehe - if we're going to pick nits, isn't Church's Thesis unproven? :-)

Cheers,

Ben.

--
http://www.apache-ssl.org/ben.html

"There is no limit to what a man can do or how far he can go if he
doesn't mind who gets the credit." - Robert Woodruff