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.
[ Parent
| on HN ]
> 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...