| 01:48 | <Michael Ficarra> | @snek nah, non-associative reducers are fine when you're iterating in-order |
| 01:50 | <Michael Ficarra> | see https://en.wikipedia.org/wiki/Catamorphism |
| 02:38 | <rkirsling> | you know it's a good day when we're busting out the article on catamorphism |
| 06:43 | <snek> |
|
| 06:43 | <snek> | cannot escape this sentence |
| 07:29 | <rkirsling> | technically it's straightforward to break down 😆 |
| 07:29 | <rkirsling> | effectively "initial algebra = initial object of type Algebra<F>" |
| 07:32 | <rkirsling> | i.e. "if you have learned what an initial object and an algebra are, then you're ready to understand what an initial algebra is" |
| 13:42 | <Michael Ficarra> | don't make me tap the recursion schemes diagram |
| 20:36 | <shu> | haha absolutely deranged |
| 20:40 | <shu> | the only morphism i need is monomorphism 🙏🙏🙏 |
| 22:19 | <Michael Ficarra> | the only morphism i need is monomorphism 🙏🙏🙏 |
| 22:23 | <shu> | hell yeah i do brother |