Re: "functional" programming in Ada

[Paul Rubin <no.email@nospam.invalid>]

Manuel Collado <m-collado@users.sourceforge.net> writes:
> Well, it may sound a bit heterodox, but IMHO functional programming is
> just a subset of imperative (= procedural) programming.
>
> - Functional programming = expressions
> - Imperative programming = expressions + variables + procedural actions

By that logic, typed programming is just a subset of untyped
programming.

 - (sufficiently) typed programming = expressions with well-defined values
   
 - untyped programming: expressions with well-defined values +
   expressions with undefined values + arbitrary pointers and memory
   corruption
    
> So why avoid the power of some functional programming expressions in
> the imperative programming world?

Because eliminating dangerous features from a language can increase its
safety, predicability, etc.  Whether that applies to functional vs Ada
depends on a lot of things, but the generalization you seem to suppose
(that adding more power never does harm) makes no sense.