Examples of easy dependently typed programming (in Idris) by Andor Penzes | Lambda Days 2023

Conference: Lambda Days 2023

Year: 2023

✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ Dependently typed programming is a green field. I want to present my experiences with Idris and how dependent types would fit into everyday programming, where proofs are not relevant but software correctness is still essential. I think dependently typed programming is not only for proof engineering. In this talk, I will present a few approaches that don't require a deep knowledge of mathematics but solve problems around software correctness. I guarantee you will understand this talk if you know how to write algebraic data types and functions in an FP language. Let's keep in touch! Follow us on: 💥Twitter: https://twitter.com/LambdaDays 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync