Re: K.I.S.S. Factor (Re: Numerics)
Dominique Colnet <[email protected]>
| Newsgroups | gmane.comp.lang.eiffel.smalleiffel |
|---|---|
| Message-ID | <[email protected]> |
Richard A. O'Keefe wrote: > I can only say that I've been using Ada since about 1990 and Haskell > since shortly after that, and I cannot agree with you. In practice > it just works so smoothly. Expressions are not uttered in a vacuum; > it is absurd to ignore their context. I have also used Ada for some years before 1989 but I have the opposite conclusion :-) > What is the type of << d e >> ? It can be either ARRAY[B] or ARRAY[C] > (let alone ARRAY[A]), which is best? > > The problem is in the type system, not the notation. > The type of <<d e>> is "array of a-common-ancestor-of(D,E)" and > the context would *refine* that to narrow down just which ancestor. By the way, I have just finished to reset the good old manifest array notation. The old notation is now accepted without even a warning when there is no possible ambiguity. As usual best regards, -- -------------------------------------------------------------- [email protected] -- IUT (Nancy 2) -- INRIA Lorraine http://SmartEiffel.loria.fr -- The GNU Eiffel Compiler POST: Loria, B.P. 239,54506 Vandoeuvre les Nancy Cedex, FRANCE Voice:+33 0383913140 Mobile: +33 0665362381 Fax:+33 0383581701