Type checking with physical dimensions

Article View: comp.lang.functional

Article #584

Back to comp.lang.functional Previous Next

#584

From: Richard A. O'Keefe
Date: Mon, 28 Sep 1992 08:08

14 lines
1216 bytes

Has anyone extended a Hindley/Milner-style type checker to check
physical dimensions (mass,length,time,current,&c)?  I have my own ideas
about how to do it, but before I start coding and writing, I'd like to
know what has already been done.  (I already know that it is possible to
combine polymorphism with dimension checking; I _think_ I can see a way
to combine them with integer/float overloading; I believe that automatic
scaling can be done in a functional language but not in a logic programming
language, but don't ask me to prove it yet.)

-- 
RMIT policy requires the use of Gender Inclusive Language in all publications
and in all information conveyed to students, staff, and potential job
applicants.  Lapses into English are the sole responsibility of the author.
The Constitution of Australia does _not_ guarantee Freedom of Speech.

Technical Details

Message-ID: <14724@goanna.cs.rmit.oz.au>

Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!wupost!usc!rpi!batcomputer!munnari.oz.au!goanna!ok

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!wupost!usc!rpi!batcomputer!munnari.oz.au!goanna!ok
From: ok@goanna.cs.rmit.oz.au (Richard A. O'Keefe)
Newsgroups: comp.lang.functional
Subject: Type checking with physical dimensions
Message-ID: <14724@goanna.cs.rmit.oz.au>
Date: 28 Sep 92 08:08:58 GMT
Organization: Comp Sci, RMIT, Melbourne, Australia
Lines: 14