That helps, thanks. Can you explain the naming? What sort of variance is the sec... | Hacker News

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

login

Filligree on Oct 30, 2017 | parent | context | favorite | on: So you want to write a type checker (2014)

That helps, thanks.

Can you explain the naming? What sort of variance is the second case contra?

Dylan16807 on Oct 30, 2017 [–]

The first one is the more natural one, and so the opposite gets to be "contra", I think.

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact