Re: [stack] disallowing recursive definitions

John Cowan <[email protected]>
Newsgroups gmane.comp.lang.concatenative
Message-ID <[email protected]>
John Nowak scripsit:

> Recently, I mentioned that if you disallow recursive definitions, then  
> definitions can be thought of as macros or rewrite rules. 

Sure, but then you can only compute primitive-recursive functions
(roughly speaking, ones in which all loops are bounded at compile time).

-- 
Do what you will,                       John Cowan
   this Life's a Fiction                [email protected]
And is made up of                       http://www.ccil.org/~cowan
   Contradiction.  --William Blake
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.