| 21:30 | <devsnek> | Bakkot: is the idea behind the early error checker in shift parser that its like array.reduce except an ast instead |
| 21:32 | <Bakkot> | that is the idea behind reducers in general, yes |
| 21:33 | <devsnek> | you can never be too sure when the word monad comes into play |
| 21:33 | <Bakkot> | do we actually talk about monads? |
| 21:34 | <Bakkot> | I know we talk about monoids but those are less esoteric |
| 21:36 | <devsnek> | ah you're right it says MonoidalReducer not MonadalReducer |
| 21:36 | <Bakkot> | yeah |
| 21:37 | <rkirsling> | *monadic |
| 21:38 | <devsnek> | i'm trying to figure out how i want to do early errors in my parser |
| 21:38 | <devsnek> | the main issue so far is that every parse function is an entry point |