C strongly typed?

[Robert Firth]

In article <3965 at nmtsun.nmt.edu> al at nmtsun.nmt.edu (Al Stavely) writes:
>In article <3744 at tukki.jyu.fi> sakkinen at jytko.jyu.fi (Markku Sakkinen) writes:
>>In article <39941 at ism780c.isc.com> marv at ism780.UUCP (Marvin Rubenstein) writes:
>>>I did read a paper (sorry, I don't have the reference) describing a language
>>>that allowed one to augment the the type declaration with a units declaration
>>>so as to be able to catch errors of this form.
>>
>>I think there has been more than one article in ACM SIGPLAN Notices
>>during the last two or three years that has suggested such a language
>>extension (to Pascal at least) in considerable detail.
>
>
>This is a moderately good but totally obvious idea, and language constructs
>for doing this have been re-invented over and over again.  It's just that
>no one has thought it significant enough to incorporate into a major language.

Well, I know of a minor programming language that allows one to
achieve most of what is required at a fairly low cost in language
feature overhead.  The concepts and their rationale are explained
in the "Rationale for the Design of the Ada programming language",
sections 7.2 and 7.3.  Examples there of types with implied units
are FRANC and MARK, DOLLAR and CENT, LENGTH and AREA.  You might
want to look it up.

hit n now, rest is junk to massage some bloody fool's ego

sorry
i
have
to
include
more
new
text
than
quoted
text
so
wasting
your
time
and
money