DAD

Declarative Ada Dialect

A dialect of Ada intended to aid the rapid prototyping of Ada programs. It adds many features including manipulation of first-order functions, lazy evaluation, and streams. It is implemented as a pre-processor to Ada.

"DAD Defined", P. A. Bailes et al, TR-229, Computer Science Dept, University of Queensland, Australia.