On Wed, Aug 10, 2011 at 10:29 AM, Robert Fischer <[email protected]> wrote:
> Can you define "contra-" and "co-" variance for me in the context of > structural (not nominal) typing? Whether a type system is structurally or nominally typed is orthogonal to whether it has subtyping. Algol 68 records, which are structural types, have no subtypes; but Go interface types, which are also structural types, do have subtypes. The co- and contravariance problem arises wherever there are static types with subtyping. -- GMail doesn't have rotating .sigs, but you can see mine at http://www.ccil.org/~cowan/signatures -- You received this message because you are subscribed to the Google Groups "JVM Languages" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/jvm-languages?hl=en.
