Programming with Categories

N/A

Programming with Categories (DRAFT) Brendan Fong Bartosz Milewski David I. Spivak (Last updated: October 6, 2020) Contents Preface vii Learning programming . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ix Installing Haskell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . x Haskell points . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xi Acknowledgments . . . . .…

related reading

• Bartosz Milewski's Programming Cafe | Category Theory, Haskell, Concurrency, C++bartoszmilewski.com
• Representable Functors | Bartosz Milewski's Programming Cafebartoszmilewski.com
• Categories, What's the Point? || Math ∩ Programmingjeremykun.com
• Kleisli Categories | Bartosz Milewski's Programming Cafebartoszmilewski.com
• how I think when I think about programming - alice mazalicemaz.com
• Competitive Programmer's Handbookcses.fi
• Napkin.pdfvenhance.github.io
• Introducing Categories || Math ∩ Programmingjeremykun.com
• Natural Transformations | Bartosz Milewski's Programming Cafebartoszmilewski.com
• Thinking Categoricallyderangedmathematician.substack.com
• Starting Out - Learn You a Haskell for Great Good!learnyouahaskell.github.io
• Structure and Interpretation of Computer Programsmitp-content-server.mit.edu