@clementd They certainly are extremely handy. And apparently these people have even found a way to make them extremely performant, i.e., only about 50% slower than a bison generated parser: https://dl.acm.org/doi/epdf/10.1145/3409002

#haskell #templateHaskell #parsers #stagedMetaProgramming

Or shall i ask that about #TemplateHaskell
That kinda makes sense
https://twitter.censors.us/reverseame/status/1584458067722129408#m

#Staging with #TypedTemplateHaskell is coming:
- /Staged selective #parser combinators/ The benchmarks showed that this approach is effective, outperforming the conventional parser combinator libraries in #Haskell and the parser generator #happy with full #optimisation. https://icfp20.sigplan.org/details/icfp-2020-papers/20/Staged-Selective-Parser-Combinators
Nice intro at #ICFP2020 https://www.youtube.com/watch?v=i9wgeX7e-nc&t=1679s

- /Staged sums of products/ We show how to finally make #generics-sop fast through the use of #staging with #Typed #TemplateHaskell. https://dl.acm.org/doi/10.1145/3406088.3409021