27.1 Exercise Recommended,

 < Free Open Study > 



27.1 Exercise [Recommended, ⋆⋆⋆]

Our new encoding of classes relies on the covariance of the Source type constructor. Is it possible to achieve the same efficiency (i.e., to give a well-typed encoding of classes with the same operational behavior) in a language with just bounded quantification and the invariant Ref constructor?



 < Free Open Study > 



Types and Programming Languages
Types and Programming Languages
ISBN: 0262162091
EAN: 2147483647
Year: 2002
Pages: 262

flylib.com © 2008-2017.
If you may any questions please contact us: flylib@qtcs.net