Please log in to watch this conference skillscast.

Static types are fantastic for ensuring code quality, but rather annoyingly they have to be defined at compile time. What happens when you need to determine the structure of your data at run time, for example when you have to load schemas from a database?

Do you throw away static types and go dynamic? Of course not! You have to change the level of abstraction in our code. In this session you will explore this process, working through a real-life example of switching from domain-specific static types to a composable data description language. How do you keep your code boilerplate-free? How do you maintain correctness? And how do you write expressions that operate on data for which you don't have simple static types? Come along for answers to these questions and more.

YOU MAY ALSO LIKE:

• Functional Interpreters and You (SkillsCast recorded in December 2018)
• Haskell eXchange 2020 (Online Conference on 3rd - 4th November 2020)
• Stick to Simple Haskell (SkillsCast recorded in October 2019)
• Keynote: (Programming Languages) in Agda = Programming (Languages in Agda) (SkillsCast recorded in October 2019)