Algebra is about composition


Algebra is all about composition. In this episode, I’m going to follow up with
a previous episode I did, all about algebra and algebraic properties, and why they were
important. It’s something I forgot to talk about, which
is that one of the reasons that we use algebra is that it helps us to find how things compose. My name is Eric Normand, and I help people
thrive with Functional Programming. Like I said before, a few episodes ago, I
talked all about algebra and why I liked the ideas. As soon as it was published and everything,
I realized, “Oh, man. I left out the why. Why is this important?” Functional programmers talk a lot about composition,
about building things out of small, simple pieces that compose really well. That’s how you make more complex, more useful
things. You make them out of smaller things by composing. That’s all well and good. It’s true. But then, what does the composition really
mean? How do you ensure that things compose well? Algebra and algebraic properties are really
the study of that kind of composition. I want to try to explain why. If you have some algebraic property, usually
it is about…OK, I don’t want to say “usually,” because I haven’t done a full, exhaustive
study. Very often, if you take something like associativity,
this is the case. Very often, it’s a formula, right? It’s some equation, some equality, that this
thing is equal to that thing. They’re equivalent, so you could swap between
them in your code, those two things. What are the two things that are equivalent? In associativity, it’s calling something with
the first two…if you’re calling an operator or a function with the first two elements,
and then using the result of that with a third element in the same function, is equal to
calling the first one with the operation applied to the second two. What are you doing? You’re comparing the function call with itself. You’re basically showing how these function
calls can compose. Take commutativity. Commutativity says, “F of A and B is equal
to F of B and A.” You’re comparing the function to itself, OK? There’s no real composition there, except
in the sense that with a lot of arguments like the arguments they’re composing in a
certain order, but associativity is actually a better example. What you’re doing is, you’re showing that
these things can compose in certain regular ways. By ensuring that you have that property, you’re
ensuring that you can do things down the line later with those operators, with those functions. Often, we talk about composition, but we don’t
know how to build it in. Maybe we use our intuitions. Maybe we use our experience like, “Oh, if
I do something this way, I know I’ll be able to do this other thing later with it.” These algebraic properties, at least many
of them, are ways of doing that up front, ahead of time. That is one of the reasons why I think algebraic
properties are important for functional programming. We talk about composition. This is where composition comes from. These are the ways that we compose things. Now, I’m not a stickler for the mathematical
algebraic properties, meaning I think you could come up with new ones. You could come up with new ways of composing
functions that either haven’t been named yet by mathematicians, or they have, but you don’t
have to know the name. You can make up your own formulas. You can start with the formulas and modify
them a little bit. I think that’s all great. Just know that when you go off the path, you
don’t have as much to rely on, but sometimes you don’t need it. Most of the time you don’t need it, so that’s
fine. An example of going off the path is, I like
to talk about merge, so merging two hash maps. It is associative. Everyone would agree, it’s associative. It’s a clear example of associativity. However, it’s not commutative in general. The order does matter, the order of the arguments. If you have two hash maps and they share a
key but they have different values, one of those is going to have to win. One of them is going to overwrite the other. That usually depends on which position it’s
in. If it’s in the first argument position versus
the second argument position, usually higher numbered arguments overwrite the lower number
arguments. Order matters. It’s not commutative, except if you put an
if statement around it, you could say it’s commutative. It is commutative if they don’t share keys,
right? There’s no keys to overwrite the other, it’s
commutative. Very often, at least in Clojure and other
languages where you use hash maps a lot, you often know the keys that you have. You often know that there are no shared keys. Merge in those case, is commutative. How would that translate into something useful,
or something practical? If you were doing a property-based test, you
could put that as a condition on the data that gets generated. OK, generated means two random hash maps and
filter out all the ones that have keys in common. Now, those two hash maps, they don’t share
any keys. It’s commutative with those two arguments. I like to play with it. I start with the standard definitions, and
then change it from there. Often, you’re not dealing with strict equality,
you’re dealing with some other kind of equality that doesn’t take into account timestamps,
or something like that. It’s not really equals, that equals is flexible,
etc. You’re still dealing with composition, and
that’s what I wanted to talk about. OK, I feel like I’ve touched on this enough,
so I’m going to wrap it up. If you like this episode, you can find all
the past episodes at lispcast.com/podcast. There, you’ll find all the past episodes with
audio, video, and text transcripts, however you want to consume it. You’ll also find links to subscribe. Please do subscribe, so that you’ll get all
the new episodes as they come out, and links to find me on social media, where you can
get in touch with me and ask me questions, comment. A lot of these topics come from questions. This has been my thought on Functional Programming. My name is Eric Normand. Thank you for listening, and rock on.

Leave a Reply

Your email address will not be published. Required fields are marked *