Categories for the Working Haskeller
Please log in to watch this conference skillscast.
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.
YOU MAY ALSO LIKE:
Thank you to our sponsors and partners
Gold
Silver
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.