[plt-scheme] Typed scheme and curry

From: Sam TH (samth0 at gmail.com)
Date: Fri Dec 19 16:41:56 EST 2008

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).

sam th
samth at ccs.neu.edu

Posted on the users mailing list.