On Tue, 12 Jul 2016 15:17:58 -0700, Lawrence D’Oliveiro wrote:
> On Monday, July 11, 2016 at 5:16:53 AM UTC+12, Ian wrote:
>
>> For local variables I usually wouldn't bother with the units, but in
>> general it's a good practice to help avoid crashing your orbiter into
>> Mars.
>
> The Mars Climate Orbiter fiasco wasn’t a problem with using the wrong
> units (dimensional analysis would have picked that up), but with using
> wrong unit _systems_.
>
> Ironic to see a country that fought a war to liberate itself from an
> empire, still stay so wedded to “imperial” units...
The are not.
a US gallon is smaller than an Imperial Gallon
a US Mile is shorter than an Imperial mile
and probably most importantly (because it means they keep serving me
short measures) a US pint is smaller than an Imperial Pint
--
Those who cannot remember the past are condemned to repeat it.
-- George Santayana
--
https://mail.python.org/mailman/listinfo/python-list
