Learn how to correctly use types to create elegant and bug free code. This talk will teach you how to use the power of the mathematically sound curry-howard isomorphism to select which typing techniques to use, and which ones to avoid. All the examples will be in typescript, and will be focused on real world applications.
Leo has over 10 years of experience building a range of systems, from medical software to GPS devices for school buses. He is a functional programming enthusiast, and is eager to spread the word on how to use math to create better software.