Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

adding all three Bartosz Milewski's parts for the Category Theory for Programmers course #3992

Merged
merged 3 commits into from
May 17, 2022
Merged

adding all three Bartosz Milewski's parts for the Category Theory for Programmers course #3992

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
570b373
Update resources_for_learners.md
gokyo Sep 12, 2021
9f820ab
Merge branch 'main' into patch-3
armanbilge May 17, 2022
85ca5f1
Fix rendering
armanbilge May 17, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 8 additions & 4 deletions docs/resources_for_learners.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -27,11 +27,15 @@
* [Functional Structures in Scala](https://www.youtube.com/playlist?list=PLFrwDVdSrYE6dy14XCmUtRAJuhCxuzJp0)
  by [Michael Pilquist](https://github.com/MPilquist) offers a series
of lectures about basic functional structures.
* [Category Theory for Programmers](https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_)
* **Category Theory for Programmers**
by [Bartosz Milewski](https://github.com/BartoszMilewski) is a series
of category theory lectures oriented towards programmers. The sample code
is in basic Haskell/C++ but the course is designed for programmers of all
background to follow.
of category theory lectures oriented towards programmers.
The code examples are written in Haskell and C++,
but the course is designed for programmers of any background,
even the ones without a strong maths knowledge.
* [part 1](https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_)
* [part 2](https://www.youtube.com/playlist?list=PLbgaMIhjbmElia1eCEZNvsVscFef9m0dm)
* [part 3](https://www.youtube.com/playlist?list=PLbgaMIhjbmEn64WVX4B08B4h2rOtueWIL)
* [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.
* [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.

Expand Down