Re: Untyped Ada?

> > But you can do that. Provided you knew the semantics of Integer + Float
> > your hands are free. Define
> >
> >    function "+" (Left : Integer; Right : Float) return Float;
>
> The 'Ada way' is to define lots of types, right? So you could end up
> having to maintain hundreds of these functions, couldn't you?
  What's to "maintain"?  Not erasing the source file?  Correcting
errors that are discovered in function "+"?  Or modifying the
definition of "+" because of new requirements?  I would hope
"maintain" means the first, which shouldn't be a big burden.