C strongly typed?

[Al Stavely]

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.

It might be amusing to count how many times this idea has been presented in
SIGPLAN Notices over the last *twenty* years.

- Allan Stavely, New Mexico Tech, USA   al at nmt.edu