Nice! If you ever have trouble with the concepts, can try them in Haskell where they are more straightforward, and type inference works better. Then once understood, it is easy to come back and apply in Scala.
Software is fun to learn _because_ it is complex. Rearranging that complexity to connect with other people is an engineering task equally important as writing the code itself. FP, databases. He/Him
Nice! If you ever have trouble with the concepts, can try them in Haskell where they are more straightforward, and type inference works better. Then once understood, it is easy to come back and apply in Scala.
That's what I'm doing with GADTs right now. Though there's not much waiting for me back in Scala yet 🤣