> 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