More Polymorphism!

Alexander Berntsen with the help of Olle Fredriksson will talk about polymorphism in Haskell.

There are two main types of polymorphism: Parametic polymorphism (called “generics” in many languages) and ad-hoc polymorphism. After an introduction about polymorphism in general, we will look at how type classes let us do ad-hoc polymorphism in Haskell.

We'll look at how type classes such as Functors, Applicatives and Monads let us write simpler and more reusable code, and also look at the Foldable and Traversable type classes that were added to the Prelude (the “standard library”) in GHC 7.10.