Datatype generic programming refers to an assortment of techniques, libraries and language extensions used for defining programs that are parameterized by datatypes, or rather by shapes of datatypes. In this talk, you will explore TypeShape, a small library for generic programming with emphasis on practical application and extensibility. TypeShape takes advantage of F# active patterns and object expressions to concisely define extensive, generic programs. It is already being used in real-world libraries such as FsPickler and FSharp.AWS.DynamoDB.

YOU MAY ALSO LIKE:

• Advanced Clojure (in London on 20th - 21st September 2018)
• Well-Typed's Guide to the Haskell Type System (in London on 10th October 2018)
• Well-Typed's Guide to Haskell Performance and Optimization (in London on 15th - 16th October 2018)