Covariance and contravariance. Say what?!

Talk
Fri 16:35 - 17:10
You don't need a laptop
Alcyone 1
Software Design

Summary

While merrily browsing the Internet and reading technical articles about programming, you may encounter the terms of “covariance” and “contravariance.” These sound spooky enough to make you consider closing the tab and forgetting all about it, as if it were a bad dream. It doesn’t have to be that way!

These two terms are actually abstract mathematical concepts that are used in probability theory, statistics, theoretical physics, category theory and (you guessed it!) computer science. Each aforementioned field has a certain definition regarding what covariance / contravariance is. Each definition may or may not have a degree of similarity to the other definitions in the other fields.
During this talk, we’ll try to make sense of these things, together. We’ll lightly touch upon what covariance and contravariance means in a couple of applied mathematical scenarios (Don’t worry, we won’t be talking about functors!). Then, we’ll see how these concepts are used to describe subtyping relationships in programming languages such as Java and C#. There will be code examples, of course!

Who is it for?

AlbertArchitect
 
CarolCTO
 
ChrisCraftsman
Programmer
CristinaTechnical
Co-Founder
DianaDevOps
 
MeganManager
 
TamaraTeam
Leader
TudorTechnical
Consultant

Leave a Reply

Your email address will not be published.

*