Hacker News new | ask | show | jobs
by hmry 450 days ago
Read-only parameters should be contravariant, write-only parameters should be covariant, and read-write parameters should be invariant.