DAda—an Ada preprocessor for functional programming

ABSTRACT

The impact of declarative (functional) programming is inhibited by the need to learn/use new languages. A series of language extensions implemented by preprocessing, which integrates functional programming into the Ada culture, is described. Features include lazy streams, recursive data structures, the abolition of assignment and its replacement by data-flow control constructs.

REFERENCES

• 1: ANSI, "Reference Manual for the Ada Programming Language", ANSI/MIL-STD 1815A, U.S. Dept. of Defense, 1983.
• 2: Richard Bird , Philip Wadler, An introduction to functional programming, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1988
• 3: Ian Hayes, Specification case studies, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1987
• 4: R. Budde , K. Kuhlenkamp , L. Mathiassen , L. Zullighoven, Approaches to Prototyping, Springer-Verlag New York, Inc., Secaucus, NJ, 1984
• 5: D. A. Turner, Miranda: a non-strict functional language with polymorphic types, Proc. of a conference on Functional programming languages and computer architecture, p.1-16, January 1985, Nancy, France
• 6: Paul A. Bailes , Dan B. Johnston , Eric J. Salzman, A proposal for a genuinely-lazy streams facility for Ada, Computer Languages, v.18 n.1, p.31-55, 1993 [doi>10.1016/0096-0551(93)90029-Z]
• 7: Bailes, P.A., "Extending Ada Streams for Input-Output", University of Qeeensland Department of Computer Science Technical Report 146, Brisbane, 1990.
• 8: Ackerman, W.B., "Data Flow Languages", Proc. Nat. Comput. Conf., pp. 1087-1095. 1979.
• 9: P. J. Landin, Correspondence between ALGOL 60 and Church's Lambda-notation: part I, Communications of the ACM, v.8 n.2, p.89-101, Feb. 1965 [doi>10.1145/363744.363749]
• 10: 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]
• 11: Bailes, P.A., "Evaluating the Ada-Streams Facility", University of Queensland Department of Computer Science Technical Report 147, Brisbane, 1990.
• 12: Bailes, P.A., Johnston, D.B. and Wang, L., "Implementing Conceptually-Efficient Ada-Streams", University of Queensland Department of Computer Science Technical Report 159, Brisbane, 1990.
• 13: Bailes, P.A. and Salzman, E.J., "DM2 - A Declarative Dialect of Modula-2 for Rapid Prototyping", University of Queensland Department of Computer Science Technical Report 91, Brisbane, 1988.
• 14: Donaldson, C.N., "Dynamic Binding and Inheritance in an Object-Oriented Ada Design", Proceedings of the Ada-Europe Conference 1989, pp. 16-25, Cambridge University Press, Cambridge 1989.