Lecturas de teorías de categorías y programación funcional
Recopilación de lecturas compartidas sobre teoría de categorías y programación funcional. Además de los trabajos que relacionan ambos campos he añadido algunos de introducción a la teoría de categorías.
1 Libros
- A taste of category theory for computer scientists. ~ Benjamin Pierce
- Basic category theory. ~ Tom Leinster
- Basic category theory for (Scala) programmers (part I). ~ Gabriel Claramunt
- Categories and Haskell (An introduction to the mathematics behind modern functional programming). ~ Jan-Willem Buurlage
- Categories, types and structures: category theory for the working computer scientist. ~ Andrea Asperti and Giuseppe Longo.
- Category theory. ~ Steve Awodey
- Category theory (A gentle introduction). ~ P. Smith
- Category theory applied to functional programming. ~ J.P. Villa
- Category theory for computer science. ~ Robin Cockett
- Category theory for computing science. ~ M. Barr & C. Wells
- Category theory for programmers. ~ Bartosz Milewski
- Category theory for scientists. ~ David I. Spivak
- Category theory lecture notes ~ Daniele Turi
- Computational category theory. ~ D.E. Rydeheard & R.M. Burstall
- Categories and all that: A tutorial. ~ Ernst-Erich Doberkat
- From design patterns to category theory. ~ Mark Seemann
- Matemáticas conceptuales: Una primera introducción a categorı́as. ~ W. Lawvere & S. Schanuel
- The Haskell programmer’s guide to the IO monad. ~ S. Klinger
2 Artículos
- Abstraction in Haskell (Monoids, functors, monads). ~ A. Gibiansky
- Apuntes de introducción a la teoría de categorías. ~ M. Román
- Categorical monads and computer programming. ~ N. Benton
- Categorías. Los 30 primeros años. ~ Eduardo J. Dubuc
- Effectful Haskell: IO, monads, functors. ~ S. Popejoy
- Example of why to use monads - what they can do. ~ Harold Carr
- Flipping arrows in coBurger King (Category theory for the working Haskell programmer). ~ E.Z. Yang
- Functors, applicatives, and monads. ~ M. Snoyman
- Functors, applicatives, and monads in pictures. ~ adit.io
- Grasping Haskell: functors, applicatives and monads. ~ X. Deseyn
- Haskell, monads and purity. ~ T. Jelvis
- Haskell/Category theory. ~ Wikibooks
- Higher order functions, functors and monads. ~ A. Kaygun
- How to read and write (with monads!) ~ James Bowen
- Introductory monads. ~ Ben Kovach
- Is there anything left to say about monads? ~ Paul Callaghan
- Monad examples.
- Monad transformers step by step. ~ M. Grabmüller
- Monads for drummers (Haskell Monad tutorial with pictures). ~ A. Kholomiov
- Monads for functional programming. ~ P. Wadler
- Monads for software engineers.
- Monads in category theory for laymen. ~ AndyShiue
- Monads in Haskell. ~ N. Schilling
- Monads made difficult ~ Stephen Diehl
- Monads, lifting, join, and side-effecting actions. ~ Chris Allen
- Monads: From Web 2.0 to hardware drivers. ~ Well-Typed
- Monoids, functors, applicatives, and monads: 10 main ideas. ~ trehansiddharth
- Motivation for monads. ~ B. Ylvisaker
- Practical fun with monads. ~ Justin Le
- Series of posts on the power of monoids. ~ Chung-chieh Shan
- Similarities: Monoid, MonadPlus, Category. ~ D. Burton
- The TAO of monad. ~ Bartosz Milewski
- Writer monad. ~ Kwang Yul Seo
- Why category theory matters. ~ R. Seaton
- Why do monads matter? ~ C. Smith
- You could have invented monads! (and maybe you already have). ~ Dan Piponi
3 Cursos
- Category theory and functional programming. ~ Mikael Vejdemo-Johansson
4 Presentaciones
- A pragmatic introduction to category theory. ~ Daniela Sfregola
- Abstract nonsense for functional programmers (a introduction to category theory). ~ Edsko de Vries
- Adjunctions in everyday life (Or: what we talk about when we talk about monads). ~ Rúnar Bjarnason
- An introduction to category theory and categorical logic. ~ Wolfgang Jeltsch
- An introduction to category theory for software engineers. ~ S. Easterbrook
- Category theory & programming. ~ Yann Esposito
- Category theory made easy with (ugly) pictures. ~ Ashwin Rao
- Functor, apply, applicative and monad. ~ O. Daff
- Monads for normal people! ~ Dustin Getz
- Ten example uses of Monads. ~ Philipp Schuster
- The Monad Fear. ~ @xtendo_
- Three approaches to monads. ~ Lawrence Evans
- What is monad? ~ Kwang Yul Seo
- Why category theory matters: a functional programmer’s perspective. ~ J.N. Oliveira
5 Vídeos
- Categories for the working Haskeller. ~ J. Gibbons
- Category theory for the working hacker ~ Philip Wadler
- Category theory, the essence of interface-based design. ~ E. Meijer
6 Programas
- Category theory in Coq 8.5. ~ A. Timany, B. Jacobs
- Category theory applied to functional programming. ~ J.P. Villa
- Notes and thoughts from reading Milewski "Category theory for programmers" written in Haskell. ~ Robert Peszek #Haskell
- Monoidal categories in Isabelle/HOL. ~ E.W. Stark
7 Referencias
- Category theory ~ Peter Smith
- Monad tutorials timeline.