[racket] Typed racket and keywords

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Thu Feb 21 17:47:41 EST 2013

On Thu, Feb 21, 2013 at 5:28 PM, Norman Gray <norman at astro.gla.ac.uk> wrote:
>
>
> But I'm now quite securely stuck, I think.
>
> ----
>
> In case anyone is curious (and in case the clear and obvious solution is indeed clear and obvious), what I'm trying to do is produce a typed version of the procedure below:

I think the following example shows the way to implementing what
you're looking for.

https://gist.github.com/samth/5009113

It's definitely the case that `make-keyword-procedure` and
`keyword-apply` remain future work for the moment.  The former is
probably easier than the latter.

Sam

Posted on the users mailing list.