0:00 / 0:00
#haskell#datatype-genericprogramming#type-levelprogramming
Andres Löh - Evolving datatypes
Monadic Warsaw
1K subscribers • 5 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Andres Löh
Advanced. Deep dive for people who know the field.
1.8K views9 years ago1 recommendation
Programming languagesSoftware designHaskellFunctional programmingData structures
Andres Löh explains how type-level and datatype-generic programming in Haskell can describe and migrate evolving datatypes over time.
We'll look at how type-level programming and techniques from datatype-generic programming can be used to describe a history of datatypes that evolve overtime. Such a history can then be used to derive generic functions that are history-aware, such as for example deserialization functions that can parse old versions and migrate them on the fly.Why it's here
1 person recommends thisWhat people say. Recommended as an insightful talk on handling data schema evolution using Haskell's type system.