4 ms·
Bartosz Milewski has a series of posts (a book, really) and recorded lectures that teach category theory with Haskell and C++ as reference points. HN discussion
by networked 9y ago
Bartosz Milewski has a series of posts (a book, really) and recorded lectures that teach category theory with Haskell and C++ as reference points. HN discussion: https://news.ycombinator.com/item?id=14026360 https://news.ycombinator.com/item?id=14026360.
- yaseer 9y agoThis is a great set of articles, thanks for sharing. I place category theory within the same realm as the lambda calculus. Understanding category theory will enrich your understanding of the underlying computer science concepts, particularly with respect to functional programming. However, it's far more in the realms of computer science than software engineering. Software engineers can benefit from a conceptual overview, which this blog post provides in excellent form. Unless your work involves formal proofs, I can't see many software engineering use cases where a more in-depth exposition would carry significant utility.
- kailuowang 9y agoWe started a project to translate all Haskell sample code to scala in Bartosz's Category theory for programmers book https://github.com/typelevel/CT_from_Programmers.scala https://github.com/typelevel/CT_from_Programmers.scala
- AdieuToLogic 9y agoVery cool! It's nice to have a Rosetta Stone available for reference to help convey deeper understanding of the book's Haskell examples.