Pretty Parsing

on YouTube ↗44m

" summary

Claims a single, purely functional implementation that parses and pretty-prints via invertible parsers and ships as scalaz-parsers, using partial isomorphisms / equiv → codec machinery and Scalaz’s arrow/category features from Scalaz 8.0. Code runs both directions (parse ↔ print), can auto-generate grammar-like printouts, and is already used as a compiler frontend toy; current gaps are documentation, performance profiling, and a need for more combinators and tokenizer/shape separation.

AI-written summary · about

" chapters (7)

1. 0:00Start
2. 0:29BUILDING PARSERS WITH FUNCTIONS
3. 4:00ISOMORPHISM VERSUS PARTIAL ISOMORPHISM
4. 22:22DETOUR: EXPLOITING PATTERNS IN REFACTORING PROFUNCTOR COMBINATORS
5. 38:14CONCLUSION SCALAZ PARSERS IS A GENERALIZED LIBRARY FOR BUILDING PARSERS
6. 39:28CONCLUSION: FUTURE WORK
7. 40:24CONCLUSION: FUTURE DIRECTION

" related talks

• 13mParboiled2: better parsing in ScalaMathias Doenitz · Scala.IO 2014
• 29mMy Little Parser: Tooling is MagicChris Dickinson · CascadiaJS 2013
• 21mBroaden ScalaAndré van Delft · Lambda Days 2018
• 09mScala Parser Combinators: The Easier Way to Create an External DSLLior Schejter · Scalapeño 2018
• 41mMonadic Parsers at the Input BoundaryJames Brock · PureConf 2022
• 44mFunctional Interpreters and YouMark Mynsted · Scala Days New York 2018
• 45mInvertible ProgramsSergei Shabanau · ScalaIO 2019
• 29mLearning ScalazEugene Yokota · Northeast Scala Symposium 2014