C strongly typed?

[Markku Sakkinen]

In article <39941 at ism780c.isc.com> marv at ism780.UUCP (Marvin Rubenstein) writes:
> ...
>  velocity = distance/time;  /* this makes sense */
>  velocity = distance+time;  /*  I mixed 'apples' and 'oranges' and produced
>				 a lemon :-) */
>
>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.

Markku Sakkinen
Department of Computer Science
University of Jyvaskyla (a's with umlauts)
Seminaarinkatu 15
SF-40100 Jyvaskyla (umlauts again)
Finland
          SAKKINEN at FINJYU.bitnet (alternative network address)