“Categories for the Working Hacker“ by Philip Wadler
The talk will explain why category theory is of interest for developers, taking examples from Java and Haskell, and referencing the new blockchain scripting languages Simplicity, Michelson, and Plutus. The principle of Propositions as Types describes a correspondence between, on the one hand, propositions and proofs in logic, and, on the other, types and programs in computing. And, on the third hand, we have category theory! Assuming only high school maths, the talk will explain how categories model three basic data types: products (logical and), sums (logical or), and functions (logical implication). And it explains why you already learned the most important stuff in high school.
Speaker: Philip Wadler
4 views
660
180
10 years ago 01:01:41 13
Bartosz Milewski. Categories for the Working C++ Programmer
4 years ago 00:09:11 70
’GMA’ reveals Oscar nominations for best picture, lead acting categories
9 years ago 00:04:14 126
Judo Havana Grand Prix - Gold Highlights for All Mens’ Categories
9 years ago 00:07:17 159
Judo Grand Prix Düsseldorf 2016 Highlights - Gold Highlights for All Mens’ Categories
3 years ago 00:14:33 17
Accordion Star International Competition 2022 Results for the Categories 5, 6, 7
4 years ago 00:30:00 3
12° ITALIA AWARD 2021, STUDENT categories RESULTS
2 years ago 01:30:47 2
Category Theory For Beginners: Cooking, Monoidal Categories and Programming
4 years ago 00:41:40 4
“Categories for the Working Hacker“ by Philip Wadler
4 years ago 00:00:00 63
UEC BMX Verona Last Chance for Jr and Elite Categories
12 months ago 00:02:58 0
Filament Plugin: Select Tree for Multi-Level Categories
8 years ago 00:16:16 347
What’s New in REAPER - Ruler for region and marker lanes; FX Browser Categories; #reaperdaw
4 years ago 00:05:06 52
Basic Elements of Gimbarr / Categories of Gimbarr
4 years ago 00:46:48 1
Category Theory For Beginners: Functors And The Category Of Categories