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:

• Lightbend Scala Language - Expert (in London on 20th - 22nd June 2018)
• Well-Typed's Fast Track to Haskell (in London on 8th - 9th October 2018)
• Well-Typed's Guide to the Haskell Type System (in London on 10th October 2018)
• Haskell eXchange 2018 (in London on 11th - 12th October 2018)