[NEW PART] Pragmatic Category Theory: Part 2 published!

Community
1

Hi everyone :wave:

I started writing a series on Pragmatic Category Theory for Beginners focusing on real-world use cases rather than theory. All code examples are in OCaml.

The first part was just finished:

It’s just the beginning, and I have plans to describe more and provide more examples in future parts. I also plan to make a video version as well.

I hope you’ll enjoy it!

28 Likes
2

Cool! I look forward to continuing :+1:

1 Like
3

That will be great! Looking forward to it. BTW, the title reminds me of Category Theory for Programmers by Bartosz Milewski.

2 Likes
4

I really enjoyed the Category Theory series you YouTube by Bartosz Milewski. I can strongly suggest watching it!

4 Likes
5

Interesting read!, that something I use at daily (two or more input become one output e.g String.concat, as far I understand) but idk it had a name. Thank you for the article, hope you could continue to another part.

1 Like
6

I just published the second part of my series, so I updated the topic.

Let me know when notifications become too noisy :slight_smile:

6 Likes
7

Where’s part 3? :slight_smile:

We need to pump that Tetris Effect of yours

I chuckled when I read that :slight_smile:

I remember having played a little too much tetris one time as a kid, I was seeing falling blocks “in real life” for a while.

Let me know when notifications become too noisy :slight_smile:

No need to apologize. The material feels applicable to OCaml in my view, it’s very “logical”.

Currently, I’m studying Haskell because I want to learn more about those subjects, but I would have preferred to stay in OCaml for that.

The thing that really got me interested was stumbling upon this OCaml library’s guide to effect handling.

I understand it’s not everyone’s cup of tea, but I’m interested in these tools to model and manage complexity.

I think they’re very cool concepts and patterns.