I recently built and installed Linux on my Raspberry Pi 4B. This post is a reference with links to tutorials I followed including corrections to what worked and what didn’t, mainly intended for future reference.
In this post, I will talk about the definition of category theory, how I think about it and why it’s relevant (not much of this though).
Multimethods (or multiple dispatch) is something that sort of completes the picture of object-oriented method calling. It’s not something which is found in many modern programming languages, and it’s interesting to look at.
Monads have been on my mind for about a week now. I got to them when I was going through a bit of Haskell code and reading through the documentation for the methods side by side (how it came to be is a story for another day). Anyway, this is not about Haskell since Monads are just a design pattern that’s used in functional programming.
As I was writing down my first post, I realised I was using several functional programming concepts which required some explaining. I started writing the background info in a section then realised it was getting way too big, so I decided to post it here.