This article is part of the Scala knowledge bits Series.
Periodically, I will publish new exercises so you can slowly build up knowledge about Scala.
It is designed to be done in a very short amount of time and learn a little bit each day, just to create a routine.
This episode will teach you about Scala Covariance.
Hope you are going to enjoy it! It is designed for anyone to learn Scala from scratch and slowly learn, one Bit at a time.
After this Bit, I would love to hear your feedback in the comments down below.
Feel free to join the Discord server as well if you would like some help and support from the rest of our community.
What are we learning today?
Today we are going to learn about Scala Covariance !
Let’s see what is Covariance.
We are going to learn what it is and when to use it.
Time to try on the exercise on your own and scroll down for more information when you are done or if you are stuck.
Here is an exercise to complete today.
If I did my job well, you should be able to guess by yourself the solution based on what you previously learned and based on the clues.
But if you get stuck, scroll down to get more information.
The goal of the exercise is to replace the
by a piece of code so that the exercise compiles and that’s how you win! Good luck!
You can fill the exercise right in here:
Or, if it does not load, go on to Scastie (iFi9nYjrT7OfSifQngJZlw).
More information about Scala Covariance
In this exercise you will learn (or have learned, if you have already solved the puzzle) about Scala Covariance.
So, what is variance ? This is a concept related to types and how they are connected to each other. It is about inheritance. We saw before the relationship between a parent class and a child class. In functional programming we also talk about sub-type.
You can see in the start of the exercise what we encountered before related to parent and child class with inheritance.
Then we use a “normal” generic class without the covariance. You see that using a
do not with and you are getting
with some explanation :
found F[A] , required F[B]
. This is expected, the types are different even tho they share a common parent, they are different.
However, why couldn’t you use a
is the parent of
? This time the error is a lot more detailed:
type mismatch; found : F[A] required: F[P] Note: A <: P, but trait F is invariant in type A. You may wish to define A as +A instead. (SLS 4.5)
We recognize one symbol we saw before:
which talks about the relationship between the two types.
In the last part of the exercise you make a covariant trait using the syntax:
means that the trait is now covariant for
And now, what was failing before is working. We are able to use
Hope that was of help to understand what the
means when you encounter it and how to solve some exception you might have seen ! See you next time.
Feel free to go back to the exercise, modify the code to try out new things and get a better intuition for Scala Covariance.
I hope you have learned something new or had fun during this Scala Knowledge Bit.
Please ask questions or post feedback in the comments below.
Feel free to try on the next Scala Knowledege Bit.
If you are curious about the previous Scala knowledge Bits, go check it out! 🙂