Ancestors

Toot

Written by Dmitrii Kovanikov on 2024-12-20 at 08:31

It's done! After checks notes 6 months of yak shaving, I finally finished Part 3 of my Pragmatic Category Theory series!

In this part, I give three more real-world examples of applying Semigroup while exploring why Associativity truly matters in detail.

https://chshersh.com/blog/2024-12-20-pragmatic-category-theory-part-03.html

=> More informations about this toot | More toots from chshersh@functional.cafe

Descendants

Written by vascorsd on 2024-12-20 at 10:32

@chshersh thanks for writing this. Those are some nice examples 🔥

=> More informations about this toot | More toots from vascorsd@mastodon.social

Written by Dmitrii Kovanikov on 2024-12-20 at 17:06

@vascorsd You're welcome!

Semigroup is quite a cool abstractions, and it really has a lot of examples. I plan to cover even more examples!

=> More informations about this toot | More toots from chshersh@functional.cafe

Written by vascorsd on 2024-12-20 at 17:50

@chshersh yeah, they are very interesting and usually a good place to introduce these typeclasses. The problem is always finding good examples and bringing them to people.

Even when I know I can do these things it rarely becomes part of ongoing code because it does not click immediately.

I read the 3 parts today and the last structure you showed is really cool and I didn't know anything about it.

=> More informations about this toot | More toots from vascorsd@mastodon.social

Written by jnkrtech on 2024-12-20 at 19:54

@chshersh Very cool! I just read part 3 and I’m gonna go back to read parts 1 and 2 soon.

=> More informations about this toot | More toots from jnkrtech@treehouse.systems

Written by Dmitrii Kovanikov on 2024-12-20 at 20:19

@jnkrtech I'm happy to hear you enjoyed them!

I didn't change anything in Parts 1 and 2. But maybe once the series is finished, I'll go back to them.

I have lots of plans for future series too!

=> More informations about this toot | More toots from chshersh@functional.cafe