Reading & Understanding Types: Exercises to Level Up!
Details
This hands-on, interactive meetup is designed to help you level up your ability to read and understand types.
What is a type? How can it help you understand the runtime behavior of your code? These questions will be answered briefly, followed by a series of exercises that range from beginner difficulty level to advanced.
Bring a laptop and your favorite programming language, as you learn how to read and understand simple types, universal types, existential types, higher-kinded types, and higher-ranked types.
Examples will be presented in Java (where possible), Scala, and PureScript.
Exercises (https://gist.github.com/jdegoes/2b8b0385d3f045f1960a)