Introduction to Static Typing by Ari Picker