Hello, The Typed Racket Guide states "Most structure type properties do not work in Typed Racket, including support for generic interfaces." [0] Is that due to some incompatibility between the design of Typed Racket and structure type properties, or is it because somebody should just get around and implement these? I'm particularly interested in generics right now.
How would you go about expressing something like an abstract interface in Typed Racket? Something similar to the collections library, possibly even less featureful. Should I be looking at class inheritance? As a lot of people here, I don't have very much time spare time, but I would be happy to extend Typed Racket to handle more of the code I write. - Sergiu [0] https://docs.racket-lang.org/ts-guide/caveats.html#%28part._.Unsupported_features%29 -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/6e5f6bb0-4768-4f4d-86b0-0c0c08f64171%40googlegroups.com.
