[plt-scheme] Typed scheme and curry
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
Scheme).
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