[plt-scheme] Typed scheme and curry

On Fri, Dec 19, 2008 at 4:33 PM, Scott McLoughlin <scott at adrenaline.com> wrote:
> I can require scheme/function and immediately get some trivial examples of
> curry to work. But when I try the same thing in Typed Scheme,  I get various
> errors instead.

What errors did you get?  What type did you supply for `curry'?

> Is there a straightforward set of practices to get curry to work within
> Typed Scheme?

No, as Carl said, `curry' is not feasible to describe with the Typed
Scheme type system (or any other that I know of).

Thanks,
-- 
sam th
samth at ccs.neu.edu