Xref: utzoo comp.lang.c:26905 comp.lang.misc:4451
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!aplcen!unmvax!nmtsun!al
From: al@nmtsun.nmt.edu (Al Stavely)
Newsgroups: comp.lang.c,comp.lang.misc
Subject: Re: C strongly typed?
Message-ID: <3965@nmtsun.nmt.edu>
Date: 14 Mar 90 18:11:54 GMT
References: <259@eiffel.UUCP) <1990Mar1.172526.28683@utzoo.uucp) <849@enea.se) <1990Mar7.182230.5517@utzoo.uucp) <862@enea.se> <39941@ism780c.isc.com> <3744@tukki.jyu.fi>
Reply-To: al@nmtsun.nmt.edu (Al Stavely)
Organization: New Mexico Tech, Socorro NM
Lines: 19

In article <3744@tukki.jyu.fi> sakkinen@jytko.jyu.fi (Markku Sakkinen) writes:
>In article <39941@ism780c.isc.com> marv@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@nmt.edu