![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
[For the programmers, who might want to follow these links]
God bless the Cats project -- thanks to their documentation of it, I finally grok the State monad.
On the downside, this means that I'm quickly realizing all the places that I should have been using it all along. (Indeed, it's probably the right solution to one of Querki's nastier internal flaws, a pattern that up until now has required a lot of careful manual checking.)
Seriously: Cats is neat -- a new category-theory library that doesn't assume you already know all this stuff, so they are putting at least as much emphasis on documentation as completeness. Any Scala programmer should check it out, and serious non-Scala ones might want to give it a look...
God bless the Cats project -- thanks to their documentation of it, I finally grok the State monad.
On the downside, this means that I'm quickly realizing all the places that I should have been using it all along. (Indeed, it's probably the right solution to one of Querki's nastier internal flaws, a pattern that up until now has required a lot of careful manual checking.)
Seriously: Cats is neat -- a new category-theory library that doesn't assume you already know all this stuff, so they are putting at least as much emphasis on documentation as completeness. Any Scala programmer should check it out, and serious non-Scala ones might want to give it a look...