Category Theory, The essence of interface-based design - Erik Meijer
74K views · Sep 10, 2015 · Education
Comments · 74
@jacksonlenhartmusic · 9 years ago
"One of my guilty pleasures is reading language specifications." What kind of monster are we dealing with here?
99
@psilocyberspaceman · 10 years ago
I cannot get enough of Erik.
64
@TheRealNickG · 4 years ago
I didn't grab a beer, but I definitely needed to finish my wine XD
@Verrisin · 9 years ago
<a href="https://www.youtube.com/watch?v=JMP6gI5mLHc&t=297">4:57</a> YES!!!!
1
@mateusvahl5072 · 10 years ago
<a href="https://www.youtube.com/watch?v=JMP6gI5mLHc&t=400">6:40</a> soo true
1
@dfurmans · 2 years ago
Brilliant!!
@EwertonSilveiraAuckland · 4 years ago
Amazing
@jzeus9842 · 9 years ago
i love this guy
@neilbedwell7763 · 8 years ago
its always a blast to watch Erik speak.
@rfyl · 2 years ago (edited)
I have tutored math for many years. When I would tutor -- especially "story" problems, but even just general math -- I always tried to say "Here's the problem; here's how you can break it down into smaller problem, smaller subproblems, etc. When I finally learned programming I realized that I had been teaching Top-Down. I LOVE that concept, and now I always tutor that way EXPLICITLY and mentioning that phrase.<br><br>Needless to say, I therefore absolutely love your video, too! And all the more so because I'm very interested in Category Theory. So I started to study Haskell ... and was a little disappointed that the only category used in Haskell is the Category of Haskell Types (if I understand correctly). Oh, well!<br><br>Anyway, I'm overjoyed that I stumbled onto your video ... and I look forward to watching many more! Really great work!
@herturluhalikilimtravel · 8 years ago
Presentation by Rick Sanchez :)
@ugurkoltuk · 9 years ago (edited)
<a href="https://www.youtube.com/watch?v=JMP6gI5mLHc&t=1917">31:57</a> - <a href="https://www.youtube.com/watch?v=JMP6gI5mLHc&t=1937">32:17</a> a very funny and precise remark :)
Up next
Category Theory for the Working Hacker by Philip Wadler
Lambda World · 99K views
Functional programming design patterns by Scott Wlaschin
Ivan Plyusnin · 200K views
Programming with Categories - Lecture 0
Topos Institute · 32K views
RxJs - explained by Rx Inventor Erik Meijer
Hans Schenker · 5.8K views
F(by) 2017. Bartosz Milewski - A Crash Course in Category Theory.
SPACE · 17K views
Categories for AI talk: Category Theory Inspired by LLMs - by Tai-Danae Bradley
Pim de Haan · 7.4K views
WE MUST ADD STRUCTURE TO DEEP LEARNING BECAUSE...
Machine Learning Street Talk · 101K views
EU Tells USA To BACK OFF! Dutch BAN Microsoft, Bonds COLLAPSE, Trump PANICS
House of El · 241K views
KotlinConf 2017 - My Life as a Tech Transfer Monad by Erik Meijer
JetBrains · 18K views
Emily Riehl Makes Infinity Categories Elementary
Curt Jaimungal · 71K views
Claude Took On the Riemann Hypothesis. Here’s What Actually Happened
Ellie Sleightholm · 495K views
Type Theory for the Working Rustacean - Dan Pittman
Rust Belt Rust Conference · 25K views
A Categorical View of Computational Effects
Compose Conference · 25K views
Gioele Zardini: "Co-Design of Complex Systems: From Autonomy to Future Mobility"
Topos Institute · 1.4K views
A Crash Course in Category Theory - Bartosz Milewski
ScalaIO FR · 101K views
Keynote: After the AI Hype – What’s Real, and What’s Next - Richard Campbell - 2026
NDC Conferences · 425K views
Conal Elliott: Efficient automatic differentiation made easy via category theory
Topos Institute · 4.6K views
Rails Conf 2012 Keynote: Simplicity Matters by Rich Hickey
Confreaks · 219K views
Functional Programming from First Principles • Erik Meijer • GOTO 2012
GOTO Conferences · 46K views
Enterprise Architecture = Architecting the Enterprise? • Gregor Hohpe • YOW! 2018
GOTO Conferences · 12K views
Philip Wadler and Erik Meijer: On Programming Language Theory and Practice
schonfinkeled · 24K views
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
Fullstack Academy · 226K views
Training Sand to Think: Artificial General Intelligence & Future of Physics
Perimeter Institute for Theoretical Physics · 287K views
Category Theory Lulz - Ken Scambler
Melbourne ALT NET · 18K views
Erik Meijer: Functional Programming
jasonofthel33t · 102K views
"A Little Taste of Dependent Types" by David Christiansen
Strange Loop Conference · 47K views