Skip to content

Commit 3cb7639

Browse files
authored
Merge pull request #3992 from gokyo/patch-3
adding all three Bartosz Milewski's parts for the Category Theory for Programmers course
2 parents 63f208e + 85ca5f1 commit 3cb7639

File tree

1 file changed

+8
-4
lines changed

1 file changed

+8
-4
lines changed

docs/resources_for_learners.md

Lines changed: 8 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -27,11 +27,15 @@
2727
* [Functional Structures in Scala](https://www.youtube.com/playlist?list=PLFrwDVdSrYE6dy14XCmUtRAJuhCxuzJp0)
2828
  by [Michael Pilquist](https://github.com/MPilquist) offers a series
2929
of lectures about basic functional structures.
30-
* [Category Theory for Programmers](https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_)
30+
* **Category Theory for Programmers**
3131
by [Bartosz Milewski](https://github.com/BartoszMilewski) is a series
32-
of category theory lectures oriented towards programmers. The sample code
33-
is in basic Haskell/C++ but the course is designed for programmers of all
34-
background to follow.
32+
of category theory lectures oriented towards programmers.
33+
The code examples are written in Haskell and C++,
34+
but the course is designed for programmers of any background,
35+
even the ones without a strong maths knowledge.
36+
* [part 1](https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_)
37+
* [part 2](https://www.youtube.com/playlist?list=PLbgaMIhjbmElia1eCEZNvsVscFef9m0dm)
38+
* [part 3](https://www.youtube.com/playlist?list=PLbgaMIhjbmEn64WVX4B08B4h2rOtueWIL)
3539
* [Easy and efficient data validation with Cats](https://www.youtube.com/watch?v=P8nGAo3Jp-Q) by [Daniela Sfregola](https://danielasfregola.com/) this talk introduces Cats, and some of its most interesting components for data validation. In particular, we’ll discuss some options to achieve efficient and expressive data validation. We will also argue that, compared to other options in the language, Cats is particularly suited for the task thanks to its easy-to-use data types and more approachable syntax.
3640
* [Cats by example](https://www.youtube.com/playlist?list=PLy4hTMY6erDBmvZiEDjtCTP8XCdhaXc2c) by [Thomas Höfer](https://twitter.com/TomTriple) provides a beginner series on various datatypes from Cats.
3741

0 commit comments

Comments
 (0)