Categories for the Working Haskeller
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 under...
| Main Author: | |
|---|---|
| Format: | Record |
| Published: |
Talk at Skills Matter Haskell eXchange
2014
|
| _version_ | 1826263386702217216 |
|---|---|
| author | Gibbons, J |
| author_facet | Gibbons, J |
| author_sort | Gibbons, J |
| collection | OXFORD |
| description | 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. |
| first_indexed | 2024-03-06T19:50:57Z |
| format | Record |
| id | oxford-uuid:23f3ea86-f258-4d75-b0ed-8b893c2b8dba |
| institution | University of Oxford |
| last_indexed | 2024-03-06T19:50:57Z |
| publishDate | 2014 |
| publisher | Talk at Skills Matter Haskell eXchange |
| record_format | dspace |
| spelling | oxford-uuid:23f3ea86-f258-4d75-b0ed-8b893c2b8dba2022-03-26T11:47:10ZCategories for the Working HaskellerRecordhttp://purl.org/coar/resource_type/c_1843uuid:23f3ea86-f258-4d75-b0ed-8b893c2b8dbaDepartment of Computer ScienceTalk at Skills Matter Haskell eXchange2014Gibbons, JThe 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. |
| spellingShingle | Gibbons, J Categories for the Working Haskeller |
| title | Categories for the Working Haskeller |
| title_full | Categories for the Working Haskeller |
| title_fullStr | Categories for the Working Haskeller |
| title_full_unstemmed | Categories for the Working Haskeller |
| title_short | Categories for the Working Haskeller |
| title_sort | categories for the working haskeller |
| work_keys_str_mv | AT gibbonsj categoriesfortheworkinghaskeller |