APL function definition notation

ABSTRACT

A pure functional notation for defining APL objects is described, and constructed with previous work in this area. The notation is extended to address both theoretical and pragmatic programming considerations. The notation is compatible with existing implementations, and is shown to straightforwardly incorporate popular extensions to the language.

REFERENCES

• Bac76: John Backus, Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, Communications of the ACM, v.21 n.8, p.613-641, Aug. 1978 [doi>10.1145/359576.359579]
• Dij76: Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997
• FW76: D. P. Friedman and D. S. Wise. CONS should not evaluate its arguments. In Proceedings Third Iniemationol Colloquium on Automata Langrrages and Progmmming, 1976. Edinburgh.
• HM76: Peter Henderson , James H. Morris, Jr., A lazy evaluator, Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages, p.95-103, January 19-21, 1976, Atlanta, Georgia [doi>10.1145/800168.811543]
• Hug82: John Hughes. Graph Reduciion with Super-Combinaiors. Technical Report PRG-28, Oxford University Computing Laboratory, Programming Research Group, June 1982.
• Hug84: John Hughes. Why Funefionol Programming Matters. Technical Report PMG40, lnetitutionen for Informationsbehannical, Chalmers Tekniska Hogskola, Goteborg, Sweden, 1984.
• IBM84: APZd Language Manual. IBM Corporation, 1984.
• Ive76: Kenneth E. lverson. Elementary Anofysis. APL Press, 1976.
• Ive83: Kenneth E. Ivemon. Rationalized APL. Technical Report, I.P. Sharp Associates, Toronto, Ontario, January 1983. I. P. Sharp Research Report No. 1.
• IW81: Kenneth E. Iverson , Peter K. Wooster, A function definition operator, Proceedings of the international conference on APL, p.142-145, October 21-23, 1981, San Francisco, California, United States
• Met80: R. C. Metzger. Extended direct definition of APL functions. In APL80 Infernotional Conference oti APL, North Holland Publishing Co., 1960. Leeuwenhorst.
• Mor77: L. A. Morrow. Nonce functions. January 1977. Unpublished manuscript.
• Red84: D. Hugh Redelmeier. Towards Practical Funcfional Programming. Technical Report CSRG-158, Computer Systems Research Group, University of Toronto, May 1984.
• Tur79: David A. Turner. A new implementation technique for applicative languages. Software - Practice and Experience, 9,1979.
• Tur81: D. A. Turner, The semantic elegance of applicative languages, Proceedings of the 1981 conference on Functional programming languages and computer architecture, p.85-92, October 18-22, 1981, Portsmouth, New Hampshire, United States [doi>10.1145/800223.806766]
• Tur84: David A. Turner. Combinator reduction machines. In Proceedings of ihe International Workshop on High-Level Computer Architecture, May 1984. Los Angeles, CA.

INDEX TERMS

Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: APL

General Terms:
Design, Languages, Theory