Please log in to watch this conference skillscast.
GHC Generics provides us with the necessary metadata to be able to generate data types in other languages based on our Haskell implementation, and even generate code to serialise and deserialise these structures using either JSON, or any other arbitrary serialisation technique, such as CBOR.
This way, despite our frontend and backend applications beingwritten in different languages, we can have static guarantees about the correctness of the marshalling mechanisms.
In this lightning talk, you will learn some motivation for generating such types and the corresponding serialisers, and a concrete implementation for the frontend language Elm.
There are also some interesting special considerations that are specific to Elm, for example, involving extensible records.
You will enjoy this talk if you are a beginner and interested in Haskell's ability of proving properties statically, and leveraging these static properties to eliminate boilerplate code.
YOU MAY ALSO LIKE:
- Higher-Order Type-Level Programming (SkillsCast recorded in October 2019)
- Haskell eXchange 2021: Novice Track (Online Conference on 15th November 2021)
- Haskell eXchange 2021: Pro Track (Online Conference on 16th - 17th November 2021)
- Hashing Modulo Alpha Equivalence (SkillsCast recorded in May 2021)
- In The Belly Of The Whale: Tales From Haskell In The Enterprise (SkillsCast recorded in May 2021)