Re: K.I.S.S. Factor (Re: Numerics)
Dominique Colnet <[email protected]>
| Newsgroups | gmane.comp.lang.eiffel.smalleiffel |
|---|---|
| Message-ID | <[email protected]> |
Steve Thompson wrote: > Your best bet is to use DbC, right? We would want the following: DbC is not always the silver bullet. > > value1: INTEGER_8 > value2: INTEGER_64 > ... > value2 := 12 > value1 := value2 -- Should be fine, 12 fits in an INTEGER_8 Are you kidding ? Do you really mean that the previous statement must be accepted because we are sure that value2 holds 2 ? > value2 := 10,000,000 > value1 := value2 -- Should be an error > value1 := value2.to_integer_8 -- No problem. > > so why not have a converter in INTEGER_8 for INTEGER_64s which required such a > value be in INTEGER_8's range? Except I want to be aware of a possible run-time problem. > > I'm sorry if I came off earlier as ranting. To me you guys are literally rock > stars, and I appreciate everything that you are doing and am thrilled with > each new release. But at the same time I am concerned that the language that > I love be as approachable as possible. We are all just humans. > Best regards as always, Yes, best regards (as always) -- -------------------------------------------------------------- [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