https://github.com/ubaldop/cattheo
Bartosz Milewski's Category Theory for Programmers challenges
https://github.com/ubaldop/cattheo
bartosz category-theory programmers-challenges scala
Last synced: 3 months ago
JSON representation
Bartosz Milewski's Category Theory for Programmers challenges
- Host: GitHub
- URL: https://github.com/ubaldop/cattheo
- Owner: ubaldop
- License: mit
- Created: 2018-03-25T18:43:43.000Z (about 7 years ago)
- Default Branch: master
- Last Pushed: 2018-05-08T18:55:59.000Z (about 7 years ago)
- Last Synced: 2025-01-08T17:09:27.853Z (4 months ago)
- Topics: bartosz, category-theory, programmers-challenges, scala
- Language: Scala
- Size: 1.05 MB
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
Cattheo
===
This repository contains my implementations of Bartosz Milewski's Category Theory for Programmers challenges.
The blog posts by Bartosz are available [here](https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/).
---
### Challenges
Here I'll track all the challenges implemented while reading the blog posts.
#### Part 1
- challenges from [**Category: The Essence of Composition**](https://github.com/P3trur0/cattheo/tree/master/challenges/post_1_1.md)
- challenges from [**Types and Functions**](https://github.com/P3trur0/cattheo/tree/master/challenges/post_1_2.md)
- challenges from [**Categories great and small**](https://github.com/P3trur0/cattheo/tree/master/challenges/post_1_3.md)
- challenges from [**Kleisli Categories**](https://github.com/P3trur0/cattheo/tree/master/challenges/post_1_4.md)
---
#### Part 2
WIP
---
#### Part 3
WIP
---
### Notes
[Here](https://github.com/P3trur0/cattheo/tree/master/notes.md) I'll sketch some notes taken during the reading.
### Acknowledgements
I am grateful to [@marcosh](https://github.com/marcosh) because he suggested to use a programming language I am not really familiar with for the implementations of the exercises to make them more challenging.