On Tue, Jun 14, 2011 at 12:35 PM, Richard Lawrence <richard.lawre...@berkeley.edu> wrote: > > I have another question about whether something is possible in Typed > Racket. What I would like to do is define a polymorphic structure where > the polymorphism is limited to a certain subset of types. Again
This is known as bounded polymorphism, and you can see examples of it in Java as well. Unfortunately, Typed Racket currently doesn't support bounded polymorphism, but it's a feature I want to eventually add. It complicates the type system significantly, though, so I can't make any promises about when this will happen. -- sam th sa...@ccs.neu.edu _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
