[plt-scheme] Typed scheme and curry

From: Carl Eastlund (carl.eastlund at gmail.com)
Date: Fri Dec 19 16:37:23 EST 2008

The "curry" function from scheme/function is not an easily typed
function.  Bear in mind that its behavior is based on tests of the
procedure's dynamically reported arity, which may or may not bear any
relation to its statically determined arity according to Typed Scheme.

I don't think the "curry" function could be added to Typed Scheme
without significant changes to one (curry) or the other (Typed

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.
> Is there a straightforward set of practices to get curry to work within
> Typed Scheme?
> Many thanks,
> Scott

Carl Eastlund

Posted on the users mailing list.