Re: Type safety, C++ and code generation



On Fri, 2006-04-28 at 07:57 +0200, Maciej Sobczak wrote:


function "*"(a, b: SPEED) return SPEED is abstract;

I like it, although there is some potential problem with this approach.
It uses the "negative logic"

Yes, there is negative logic, which invites mistakes.

And probably this isn't going to be changed, because language
designers somehow seem to think that they must provider what
they think are the usual arithmetic operations. Strangely,
they don't count actual uses, or invent mathematical structures
that reflect computing reality in a field.
How many times does "/" occur in your average computer
program?
Irrational traditionalism in computer science, school kid's
math habits, or faulty ritual?



.



Relevant Pages

  • New idea for Web service to track/index language mistakes in Web pages
    ... annoying mistake in language. ... My Web site downloads the Web page, ... whether there are already registered mistakes on that particular ... To assure accuracy of the correction records, ...
    (alt.usage.english)
  • Re: coon dog - pejorative?
    ... wrongdoings in the English language in the future. ... I was aware of the compliment, but as you have probably read, ... mistakes in the use of adverbs and adjectives, ...
    (alt.usage.english)
  • Re: Linguistic Agonies
    ... >>> country where nobody knows that language. ... The result is that English is my dominant language; ... > when I speak Hindi, I sporadically make mistakes. ...
    (sci.lang)
  • Re: Bounds checking functions
    ... They NEVER make "mistakes", they always do ... Hardware failures, cosmic rays, etc. ... And quite few other failures as well. ... There is no language that magically corrects for the inherently ...
    (comp.lang.c)
  • Re: What is purpose ot his GROUP and MESSAGES
    ... Newbies may also be helped to understand their mistakes. ... lives in another country or if the abuser is anonymous). ... You overlook that people who use abusive language usually do so ...
    (sci.physics.relativity)