Categories for the Working Haskeller

8th October 2014 in London at Skills Matter

There are 9 other SkillsCasts available from Haskell eXchange 2014

Please log in to watch this conference skillscast.

492140522 640

The Haskell community is famous - perhaps infamous - for its enthusiasm for category theory. Why is this? Is it important to understand categories before you can understand Haskell programs? Is it an attempt to keep the community as pure as the language? Is it just that Haskell is a refuge for underemployed mathematicians? None of the above!

In this talk, I hope to explain a little bit about how categories can help the working Haskeller. I'll focus on two aspects: categories as an organising principle, helping us to manage generic libraries; and categories as a reasoning principle, helping us to transform programs.


Thanks to our sponsors

Categories for the Working Haskeller

Jeremy Gibbons

Jeremy Gibbons is Professor of Computing at the University of Oxford, where he is director of the part-time professional master's programme in software engineering. He has been devoted to functional programming since the late eighties; his particular interests are in patterns in functional programming, in reasoning about programs, in generic programming, and in embedded domain-specific languages.