Metamorphisms
https://bartoszmilewski.com/2019/01/03/metamorphisms/ [bartoszmilewski.com]
2019-01-03 23:42
Flies, pipes, and fallout. Posting to pretend I understand.
site: bartoszmilewski.com
Metamorphisms
https://bartoszmilewski.com/2019/01/03/metamorphisms/ [bartoszmilewski.com]
2019-01-03 23:42
Flies, pipes, and fallout. Posting to pretend I understand.
Open Season on Hylomorphisms
https://bartoszmilewski.com/2018/12/20/open-season-on-hylomorphisms/ [bartoszmilewski.com]
2018-12-23 20:00
This piece of code is probably unreadable to a regular C++ programmer, but makes perfect sense to a Haskell programmer.
Here’s the description of the problem: You are given a list of equal-length strings. Every string is different, but two of these strings differ only by one character. Find these two strings and return their matching part. For instance, if the two strings were “abcd” and “abxd”, you would return “abd”.
What makes this problem particularly interesting is its potential application to a much more practical task of matching strands of DNA while looking for mutations. I decided to explore the problem a little beyond the brute force approach. And, of course, I had a hunch that I might encounter my favorite wild beast–the hylomorphism.
Free Monoid from Free Algebra
https://bartoszmilewski.com/2018/07/30/free-monoid-from-free-algebra-part-1/ [bartoszmilewski.com]
2018-08-07 03:04
In my previous blog post I used, without proof, the fact that the initial algebra of the functor I + h \otimes - is a free monoid. The proof of this statement is not at all trivial and, frankly, I would never have been able to work it out by myself.
I worked my way through this proof, filling some of the steps that might have been obvious to a mathematician, but not to an outsider. I even learned how to draw diagrams using the TikZ package for LaTeX.
Part two: https://bartoszmilewski.com/2018/07/30/free-monoid-from-free-algebra-part-2/
Stalking a Hylomorphism in the Wild
https://bartoszmilewski.com/2017/12/29/stalking-a-hylomorphism-in-the-wild/ [bartoszmilewski.com]
2018-01-02 22:34
Trying to improve my Haskell coding skills, I decided to test myself at solving the 2017 Advent of Code problems. It’s been a lot of fun and a great learning experience. One problem in particular stood out for me because, for the first time, it let me apply, in anger, the ideas I learned from category theory. But I’m not going to talk about category theory this time, just about programming.
Although saying “just programming” may be a bit modest.
Monads, Monoids, and Categories
https://bartoszmilewski.com/2017/09/06/monads-monoids-and-categories/ [bartoszmilewski.com]
2017-09-11 00:52
There is no good place to end a book on category theory. There’s always more to learn. Category theory is a vast subject.
Time to back and read everything for real...
Applicative Functors
https://bartoszmilewski.com/2017/02/06/applicative-functors/ [bartoszmilewski.com]
2017-02-07 14:50
Unlike monads, which came into programming straight from category theory, applicative functors have their origins in programming.
But are otherwise equally nonsensical...
Monads: Programmer's Definition
https://bartoszmilewski.com/2016/11/21/monads-programmers-definition/ [bartoszmilewski.com]
2016-11-23 00:53
Programmers have developed a whole mythology around monads.
What they do vs what they are.