[pjmlp]

As an addendum, some of those features are also possible on Pascal/Modula variants, although not as expressive as Ada.