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
Edward C++Hands
I’ve been looking for a good analogy of what programming in C++ feels like and I remembered this 1990 Tim Burton movie, Edward Scissorhands. It’s a darker version of Pinocchio, shot in …
5
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 …
6
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…
7
C++17: I See a Monad in Your Future
[If you prefer, you may watch the video of my talk on this topic (here are the slides).] If you thought you were safe from functional programming in your cozy C++ niche, think again! First the lamb…
8
Guitar Decomposed: 5. Mutating the Third
So far we’ve been discussing chord transformations that didn’t change the chord’s function. We’ve been essentially dealing with just one major chord and its transpositions. …
9
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…