Category Theory, The essence of interface-based design - Erik Meijer

What people said

yenwel · 2018-10 · Recommendation

Also nice: Erik Meijer Explains it well: [VIDEO] (check out FP101 on edx) Statebox guys doing stuff with category theory, blockchain and petrinets: [LINK] [LINK] Graphical linear algebra: [LINK] Jules Hedges working on game theory : [LINK]

Read the original HN comment ↗

deltasevennine · 2022-11 · Reference

> I prefer the academic truth, validated by renowned peers in the industry, presented at acknowledged conferences, to random opinions on the Internet. You don't even know who wrote the IEEE definition and who validated it. Second this isn't academic truth. This is just some arbitrary chosen standard chosen by industry. Not academic at all. In mathematics, the ultimate logical form of academia there is a term for "interfaces". It's called categories, and there's a entire theoretical framework behind it called "Category Theory". This theory of "interfaces" goes beyond just OOP and category theory can be used to foundation-ally describe all of mathematics and function as a sort of replacement of set theory. Don't worship authority for authorities sake. If the IEEE declared 1+1=3 would you believe it? Instead use your own brain. Do my arguments have merit? Does the IEEE definition seem inconsistent? Does my definition make logical sense? If you can think of these things on your own merits instead of blindly following the IEEE then you'll see that the definition of OOP is just something academia hasn't really thought about deeply from a theoretical and mathematical standpoint. OOP is more like a term that comes from applied engineering with very little theoretical foundation. If you want some sort of authority I googled some authoritative talk about category theory explained to programmers: [VIDEO] I'm sure maybe you heard of haskell and category theory? Haskell is a purely functi

Read the original HN comment ↗

adamnemecek · 2017-01 · Reference

Erik Meijer gave a talk called "Category Theory, The essence of interface-based design" [VIDEO] Fundamentally, category theory is seen as some sort of holy grail of programming. The hope is that learning about only one API will let you interact naturally and composably with any interface conforming to that design.

Read the original HN comment ↗