Re: Type safety, C++ and code generation

[Georg Bauhaus <bauhaus@futureapps.de>]

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?