May edition brings two new technical talks for our community.
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!
Second speaker will be announced soon.
18:45 - 19:00 Arriving, socializing
19:00 - 19:10 Introduction
19:10 - 19:40 Covariance and contravariance. Say what?!
19:40 - 20:10 TBA
20:10 - 20:20 Break
20:20 - 21:10 Open Space - ask the speakers for more details or propose interesting topics
21:10 - 21:20 Closing
See you on 4th of May!