Preprocessing first-class functions for Ada

Realisation of the benefits of declarative programming can be acheived by improving its accessibility from other language cultures. Providing the essence of the functional style-first-class functions-for Ada is the example studied here. Its tasking facility provides a raw basis for first-class procedural abstractions, but without the desired applicative interface. This is achieved by staged development involving: multiple instances of the one function type; data transmission via parameter/result; recursion; and lazy evaluation