Re: New limited range type?

tmoran_at_acm.org
Date: 11/12/03

  • Next message: Warren W. Gay VE3WWG: "Re: C's trikery semantic opens up backdoor in new Linux kernel" 
    Date: Wed, 12 Nov 2003 17:37:55 GMT

    >In the case of a (language or implementation defined) attribute, you
    >would have to write every calculation such as this as:
    >
    >X := Some_Subtype'Limit(A + B - C);
    >
    >Of course, that makes what is going on very clear...
      Sometimes "very clear" conflicts with "higher abstraction level".
    If the variables involved were light intensities in 0 .. 255, say,
    "Observed := Direct + Reflected - Absorbed;" says what's going
    on just fine, IMHO. If someone wants to be even more explicit,
    "Observed := Brightness'(Direct + Reflected - Absorbed);" should
    do the job. It's overkill to say
    "Observed := Brightness'Limit(Direct + Reflected - Absorbed);"

  • Next message: Warren W. Gay VE3WWG: "Re: C's trikery semantic opens up backdoor in new Linux kernel"

    Relevant Pages

    • Re: Question on LSP
      ... not have to be explicit attributes, ... Since objects in memory usually don't move, the language can largely hide the identity mapping. ... My issue here is that whatever semantic meta model the language uses, there must be some way for the developer to unambiguously express the OOA/D is-a semantics for some problem space entity. ... Note that the language allows us to use a name like 'T' on the reference as a mnemonic so that the developer can keep track of what is happening with the indirection. ...
      (comp.object)
    • Re: How to name variables in a program?
      ... So its an explicit encoding, ... We are also trained to read natural language as well. ... fact even beyond conventions it leads people to write abbreviations on ... > making the whole source code much harder to read. ...
      (comp.programming)
    • Re: UserLinux chooses Python as "interpretive language" of choice
      ... Every time I see that feature in Ruby I find it appealing - and then I don't ... (which is kind of how I feel about the language as a whole). ... lookup) to refer to callables that take no parameters, so Ruby would invoke ... And:a is very explicit (once you know ...
      (comp.lang.python)
    • Re: How to identify flat (even) distributions?
      ... recommendation system, to eliminate - or give a low weighting to - the ... Your explicit ... of calculation based on hypothesized models, ...
      (sci.stat.math)
    • Re: Question on LSP
      ... not have to be explicit attributes, ... the corresponding type contract using available language gears. ... single Student type. ... Reference itself is not reference. ...
      (comp.object)