Re: Questions about app design - OOP with python classes

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.

.