5 ms·
This isn't about "word-sized chunks of data made of bits, grinding through a Von Neumann machine". It's about math and software engineering. If this article is
by kmicklas 11y ago
This isn't about "word-sized chunks of data made of bits, grinding through a Von Neumann machine". It's about math and software engineering.
If this article is hard to understand, that's probably because it's part 14 of a series. Read the first 13 parts; Bartosz's writing is very clear when you have the proper context.
- kazinator 11y ago> It's about math and software engineering. Good idea; can you explain it in terms of software engineering? What software engineering problem is it solved by this lemma? E.g. Starting with this set of requirements, we are transported to a solution thusly: ...
- gclaramunt 11y agoCategory theory is about abstraction and composition, fundamental tools in software engineering...
- gergoerdi 11y agoHere's an example where I used, if not the Yoneda lemma, its categorical dual the co-Yoneda lemma (named `MarketRequest` in this post because I didn't know about it at that point so had to reinvent it to my particular use case) to solve a very real software engineering problem: http://unsafePerform.IO/blog/2012-12-01-static_analysis_with_applicatives/ http://unsafePerform.IO/blog/2012-12-01-static_analysis_with...