[plt-scheme] Re: Re: Typed Scheme: Is there any easy way around this?

On Jun 1, 2007, at 1:37 AM, Matthew Swank wrote:

> On Thu, 31 May 2007 21:04:38 -0400, Henk Boom wrote:
>
>> On 31/05/07, Matthew Swank <akopa.gmane.poster at gmail.com> wrote:
>>> I like it so far.  It is a bit verbose, however.  Are there any
>>> plans to support type inference?
>>
>> That's what I thought until I realized how much contract code I could
>> throw away. My typed code ended up being much shorter than my
>> contracted code. The only places where it was slightly annoying where
>> when I needed trivial anonymous lambda expressions to hand to map and
>> the like.
>>
> Well, I don't use contracts.  My basis for a claim of verbosity is my
> (somewhat limited) experience of Haskell and straight lisp.
>
> Compared to those, Typed Scheme is verbose.

That's something we can't fix so don't report it "-)