Category Theory 1.1: Motivation and Philosophy
Bartosz MilewskiYouTube ↗
Further reading 2
Does hiding mutation remove coordination costs? →An object can conceal its state and still require callers to coordinate operations. Examine what happens when independently safe operations must work together.Why don’t two locked objects make a safe transaction? →Compare what each lock protects with what the combined operation requires. This is a cost of coordinating shared mutable state, not a claim that every lock is wrong.
Caption notes
Mutable state and locks can defeat composition. The speaker presents category theory as a language for common structure across programs, logic and mathematics.
Original passages · 6
They hide mutation – they mutate some state inside, right?and unfortunately locks don't compose either, right. That's the problem with locks.to help us express ideas that later can beMaybe this is just the property of our
brains, maybe our brains are suchif you want to deal with more complex problems you have tothey are exactly the same there is a one to one correspondence