[plt-scheme] macro question

From: hendrik at topoi.pooq.com (hendrik at topoi.pooq.com)
Date: Wed Jun 11 08:02:17 EDT 2008

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

Posted on the users mailing list.