[racket] Units/measures library

I can imagine two things at least: 

1. a conversion library with functions such as feet->meter and celsius->fahrenheit and grams->ounces. 

2. a refined version of TR that statically checks units. 

I assume Jose was interested in the first -- Matthias





On Nov 17, 2011, at 7:49 AM, Jos Koot wrote:

> What would this library have to do/provide?
> I may be interested in a contribution, if within my powers.
> Jos
> 
> -----Original Message-----
> From: users-bounces at racket-lang.org [mailto:users-bounces at racket-lang.org]
> On Behalf Of Matthias Felleisen
> Sent: jueves, 17 de noviembre de 2011 12:58
> To: José Lopes
> Cc: users at racket-lang.org
> Subject: Re: [racket] Units/measures library
> 
> 
> No but such a contribution would be welcome. -- Matthias
> 
> 
> On Nov 17, 2011, at 5:30 AM, José Lopes wrote:
> 
>> Hello everyone,
>> 
>> Is there a units/measures library with metres (m), kilometres (km) and so
> on?
>> 
>> Regards,
>> José
>> 
>> -- 
>> José António Branquinho de Oliveira Lopes
>> 58612 - MEIC-A
>> jose.lopes at ist.utl.pt
>> 
>> _________________________________________________
>> For list-related administrative tasks:
>> http://lists.racket-lang.org/listinfo/users
> 
> 
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/users
> 
> 
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/users