Because S <: S in most (all?) type systems with subtyping. | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

gsg on July 24, 2017 | parent | context | favorite | on: What are covariance and contravariance?

Because S <: S in most (all?) type systems with subtyping.

jordigh on July 24, 2017 [–]

Then use \leq, like any other reflexive, antisymmetric, transitive relation.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact