Geoffroy CouprieJan 26, 2025
It is time! After 2 years, a new major release of nom, the rust parser combinators library!
It comes with a lot of interesting points check it out
https://unhandledexpression.com/nom-8/
Show threadGeoffroy CouprieJan 26, 2025
this release is a fundamental rewrite of nom, to integrate GATs into its Parser trait, to ensure we don't generate code we will never use, like errors that will be discarded immediately, resulting in interesting speedups
Show threadMaxime Augier

@geal Awesome, thanks for the great work!

Finally an excuse to dive into GATs.
I have questions about `Mode`:

- This declares an associated type `Output` of kind * -> *, so to speak ?
- `bind` is like haskell's `pure`, `map` is `fmap` and `combine` is `ap`, making `Mode` the trait of applicative functors ?

Jan 29, 2025 at 9:55pmWeb
Show threadGeoffroy CouprieFeb 4, 2025
@max so I have not implemented this while thinking specifically of haskell like constructs, but yes, if you squint hard enough, it starts to look like applicative parsers instead of monadic parsers, and there's some cool stuff that can be done with that