Please log in to watch this conference skillscast.
Often, categorists will speak about "universal properties" when discussing basic constructions. Understanding what these are can be one of the more confusing aspects of coming to terms with category theory. But it turns out that there is one weird trick that lets us take universal properties and translate them directly into executable code. In doing so, we can better understand just what it means for something to be a universal property, and for that matter, how to think of the relationship between functions and data. The insights from this sort of approach are broadly applicable to real-world practice when we think about how to structure our data to capture just what it should, and nothing else. This talk will start from the very basics, and hopefully leave the audience with a taste of practical categorical intuition, summarized in the slogan "Asking what and asking how are asking the same thing."
YOU MAY ALSO LIKE:
- LDNUG September 2017 - #ProgNET Special with Richard Campbell (in London on 12th September 2017)
- Progressive .NET 2017 (in London on 13th - 15th September 2017)
- London Unreal Engine Meetup (in London on 20th September 2017)
- Test Driven Development (TDD) Workshop with Damjan Vujnovic (in London on 7th - 8th December 2017)
Programming with Universal Properties