News for hackers. Stuff that matters.
Re:Why I am learning category theory by picardo on Wednesday November 30, 2022 @01:35PM (#33805375)
Same here. I drank the cool aid a few years back, and started using fp-ts in my frontend projects, hoping to use algebraic data types regularly. But today all I use is the Monad. I can't find any motivation to write abstract algebra to build UI widgets.
Re:Why I am learning category theory by floober on Wednesday November 30, 2022 @02:19PM (#33806103)
> I can't find any motivation to write abstract algebra to build UI widgets

This made me chuckle, because I am at this very moment trying to apply the "tagless final style" described here[0] to a custom GUI in a personal-for-fun-and-learning ocaml project : )

[0] https://okmij.org/ftp/tagless-final/course/optimizations.htm...