> One thing I'm noticing is that it seems difficult to use my typed code
> in untyped code, because the container is polymorphic.
> 'untyped-client.rkt' shows what I mean: I'm hitting a Type Checker
> error at runtime and I don't know what to do to avoid it yet.  What
> can I do here?


Side comment: One thing I can do is type the polymorphism away, as in:

    https://github.com/dyoo/typed-lru/blob/workaround/untyped-client.rkt

by using a submodule to write a thin wrapper around the polymorphic code.
____________________
  Racket Users list:
  http://lists.racket-lang.org/users

Reply via email to