... [...] ... Do you have a specific quote in context for the claim for better understanding of the question? The general theory is the Church–Rosserthenewobjective
be able to avoid the need to tell the machine what to do step-by-step, and just provide it with a , and allow it to workout/search
... There are more than just claims, you'll be happy to know! Richard Bird and Jeremy Gibbons have done a lot of work on this topic. Bird's "The Algebra of
The best introduction to this subject is at the Joy homepage.
In short, concatenative languages behave in a way which looks imperative (like C or Perl), but can be reasoned about in a functional manner (like ML or Haskell).
These languages are only beginning to be studied, although Forth had a heyday in the 80s, and Postscript is notable for being the most commonly metaprogrammed language in existance (a trait which I believe is not a coincidence).
- Programming Languages
- Apr 29, 2000
- This is a restricted group.
- Attachments are not permitted.
- Members cannot hide email address.
- Listed in Yahoo Groups directory.
- Membership requires approval.
- Messages are not moderated.
- All members can post messages.