This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- TYPE THEORY IN PRACTICE by Gabriel Habryn ABSTRACT After amazing presentation “Propositions as Types” by Philip Wadler, I felt intrigued and lost. What is the type theory? How can I benefit from it as a software engineer? The story of how I end up applying Type Theory in static configurations files like JSON and YAML. What I learn in the process of this experiment, and how it changed my perspective in software design. Read the full abstract: http://www.lambdadays.org/lambdadays2019/gabriel-habryn --- THE SPEAKER - GABRIEL HABRYN Backend Domain Lead at Brainly Gabriel Habryn functional programming enthusiast who is not afraid to use free-monads and the Type Theory. During the day at Brainly helps engineers to use best practices. Encourage experimentation and research. Coach, and train in new technologies and concepts (#GraphQL, #CRDTs, #EventStorming, #SystemDesign...). During afternoons explore concepts of functional programming, and publish code on GitHub under @widmogrod nickname. More on Gabriel Habryn: http://www.lambdadays.org/lambdadays2019/gabriel-habryn --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #TypeTheory