🚀 go-pugleaf

In article <DLB.92Sep28100432@fanny.wash.inmet.com> dlb@fanny.wash.inmet.com (David Barton) writes:
>I was going to respond to this by Email; however, since it might be of
>general interest, I am responding to the list.
>
>In article <14724@goanna.cs.rmit.oz.au> ok@goanna.cs.rmit.oz.au
>(Richard A. O'Keefe) writes:
>
>   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.)
>
>We are desigining a microwave hardware description language based upon
>Haskell.

All this just to cook food? (Sorry, I couldn't resist it!)

Deryk Barker, Computer Science Dept., Camosun College, Victoria B.C.