1
Functorio
You might have heard people say that functional programming is more academic, and real engineering is done in imperative style. I’m going to show you that real engineering is functional, and …
Bartosz Milewski
Category Theory, Haskell, Concurrency, C++
- Popular posts
- 9
- Total points
- 2,284
- HN comments
- 1,011
- Rank
- #697 personal
Visit bartoszmilewski.com → RSS feedOn Hacker News Sep 2013 – Nov 2021
Software Engineering 7Math & Algorithms 6Life, Learning & Writing 2Programming Languages 2
2
Functorio
You might have heard people say that functional programming is more academic, and real engineering is done in imperative style. I’m going to show you that real engineering is functional, and …
3
Category Theory for Programmers (2014)
Table of Contents Part One Category: The Essence of Composition Types and Functions Categories Great and Small Kleisli Categories Products and Coproducts Simple Algebraic Data Types Functors Functo…
4
Math is an insurance policy
We live in interesting times. For instance, we are witnessing several extinction events all at once. One of them is the massive extinction of species. The other is the extinction of jobs. Both are …
5
Category Theory and Declarative Programming
This is part 11 of Categories for Programmers. Previously: Natural Transformations. See the Table of Contents. Introduction to Part II In the first part of the book I argued that both category theo…
6
Categories for Programmers: The Yoneda Lemma
This is part 15 of Categories for Programmers. Previously: Representable Functors. See the Table of Contents. Most constructions in category theory are generalizations of results from other more sp…