[plt-dev] compound units and contracted signatures

From: Carl Eastlund (carl.eastlund at gmail.com)
Date: Tue May 19 23:12:44 EDT 2009

On Tue, May 19, 2009 at 11:09 PM, Jay McCarthy <jay.mccarthy at gmail.com> wrote:
> On Tue, May 19, 2009 at 9:06 PM, Carl Eastlund <carl.eastlund at gmail.com> wrote:
>> While we don't use units for these things a lot in Scheme, it's a use
>> case that gets more and more realistic with things like (a) inferred
>> linking, making units syntactically lighter weight, and (b) Typed
>> Scheme, typed idioms necessitating this kind of instantiation more
>> often.
> Annoyances like those Philippe is mentioning are exactly why I don't
> use units more often.
> My 2 cents,
> Jay

Philippe is only describing problems of units with contracts, which
are very, very new.  None of this applies to units without contracts.
Have I missed something?

Carl Eastlund

Posted on the dev mailing list.