//
ScalaIO FR·Bartosz Milewski
1:15:14
0:00/1:15:14
Press N to jot a timestamped note or B to pin a moment while watching.
Press N to jot a timestamped note or B to pin a moment while watching.
This lecture introduces category theory from a programmer's perspective, emphasizing its utility in understanding composability and abstraction in software design, with examples drawn from programming paradigms.
Programming is math and math is programming. But the kind of math that's useful in programming is not what they teach you in school. In fact it's much more interesting. Category theory seems to be esoteric when presented by mathematicians, because all their examples come from other branches of mathematics. But when you use examples from programming, things suddenly becomes quite obvious. And the reason there is such a close fit between category theory and programming is quite simple: both are built on the principle of composability.