Covariant, Contravariant

• function간의 subtype 관계는 어떻게 형성되는가에 관한 문제
• 이해가 안 가서 그림을 그려서 이해해보려고 했는데, 이해가 안 되도 바로 알 수 있게 한 마디로 정리해줬다.
  • function argument는 contravariant, return value는 covariant
• 
  • 
• 
  • 
  • 
  •