Please log in to watch this conference skillscast.
Haskell is well established as a backend language for client-server applications, and at the same time, new functional languages are gaining popularity on the frontend side. Implementing a client-server communication API, it is very important that there is a seamless conversion between the data types at both ends of the communication channel. Haskell provides an elegant way of deriving JSON serialisers and deserialisers, but unfortunately, this is not true for the majority of languages, so we still end up having to write these instance manually, which is a lot of effort, involves writing boilerplate code, and is generally error-prone.
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:
- Well-Typed's Fast Track to Haskell (in London on 10th - 11th October 2017)
- HaskellX2gether Community Weekend (in London on 14th - 15th October 2017)
- Well-Typed's Guide to Haskell Performance and Optimization (in London on 16th - 17th October 2017)
- Well-Typed's Guide to the Haskell Type System (in London on 18th October 2017)