Channels
administrivia
announcements
bot-dark-forest
devlog-together
in-alberta
in-boston
in-germany
in-israel
in-london
in-nyc
in-ontario
in-seattle
in-sf
in-socal
introduce-yourself
linking-together
of-ai
of-end-user-programming
of-functional-programming
of-graphics
of-logic-programming
of-music
present-company
random-encounters
reading-together
share-your-work
thinking-together
two-minute-week
wormholes
Title
s
Stefan
02/17/2020, 1:41 PMWow… this is huge! I'm only half-way through, but this is an extraordinary example of how to reduce complexity by reducing the number of things that can interact with each other and replacing them with one thing that can represent all the other things in the former model.
Of course, the resulting model is on a more abstract level and a little harder to understand, but totally worth the effort as you completely define away some of the edge cases and exceptions you could encounter in the former model.
This pattern of reducing complexity is exactly why I started looking at category theory, although it turned out that category theory is so high up the ladder of abstractions that it's hard to make it applicable. Clearly, the example in this talk does have a very specific application in massively simplifying the implementation of graphics primitives.