Talk: Up the ladder of abstraction - a short introduction to datatype-generic programming

Talk held in two parts at Xebia knowledge sharing session at 2017-02-21 and 2017-03-07.

Audience:

• comfortable with at least one typed language that features some generic programming mechanisms
• basic experience with concept of higher-order functions (map, filter, etc.)
• no aversion for anything that looks different from your ordinary programming language

Outline:

• A quick intro to a dissection of Haskell necessary to understand the talk
• Mapping over containers with functors
• Datatype-generic programming, or how can we never write functors again?
• ADT to javascript converter
• Discussion

Try it out:

stack ghci