Xref: utzoo comp.lang.c:26891 comp.lang.misc:4447
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!snorkelwacker!bloom-beacon!eru!luth!sunic!tut!tukki!sakkinen
From: sakkinen@tukki.jyu.fi (Markku Sakkinen)
Newsgroups: comp.lang.c,comp.lang.misc
Subject: Re: C strongly typed?
Message-ID: <3744@tukki.jyu.fi>
Date: 14 Mar 90 08:19:47 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>
Reply-To: sakkinen@jytko.jyu.fi (Markku Sakkinen)
Organization: University of Jyvaskyla, Finland
Lines: 21

In article <39941@ism780c.isc.com> marv@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@FINJYU.bitnet (alternative network address)