[plt-scheme] macro question

On Tue, Jun 10, 2008 at 03:56:28PM -0700, Michael Vanier wrote:
> My experience with ML and Haskell suggests that local type inference is a 
> big win, global type inference much less so.

Thanks for the terminology -- local vs. global type inference.  It's a 
clean separation between the kind of type inference I find useful and 
the kind I find confusing (though I do understand how it works).

-- hendrik