Questions about app design - OOP with python classes

[Steven D'Aprano]

On Fri, 02 Mar 2007 09:30:20 +0100, Diez B. Roggisch wrote:

>> A type system doesn't help. So what if they're both floats? The test
>> is still bogus, your code will still wait too long to engage the
>> retro-rockets, and the billion dollar space craft will still be travelling
>> at hundreds of miles an hour when it reaches the surface of Mars.
> 
> A type system _could_ help. 

It's easy to wave your hands and say that Microsoft could have done
something different, but they had to work with what they had, not some
hypothetical alternative language with a hypothetical type system that
didn't exist then (if it even exists now).


> Multi-Level-Specification allows you to 
> express physical quantities with their respective unit, and operations 
> on them to yield the combined unit at compile-time. There are some 
> rather complicated cases where simple unification won't solve the 
> type-equations, but then you might annotate things explicitly.

Which is what Apps Hungarian _is_.


-- 
Steven.