# Static analysis of non-monadic parsers

**URL:** <https://discourse.haskell.org/t/static-analysis-of-non-monadic-parsers/1129>\
**Category:** Show and Tell\
**Created:** [March 2, 2020, 6:07pm UTC](https://discourse.haskell.org/t/static-analysis-of-non-monadic-parsers/1129 "2020-03-02T18:07:29Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![ian](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/ian/32/84_2.png) [@ian](https://discourse.haskell.org/u/ian)\
**Post date:** [March 2, 2020, 6:07pm UTC](https://discourse.haskell.org/t/static-analysis-of-non-monadic-parsers/1129/1 "2020-03-02T18:07:29Z")

</div>

Writeup and examples [here](https://github.com/seagreen/ian#static-analysis-of-parsers). I think the profunctor one is pretty cool.

---

<div class="post-metadata">

**Author:** ![BebeSparkelSparkel](https://avatars.discourse-cdn.com/v4/letter/b/278dde/32.png) [@BebeSparkelSparkel](https://discourse.haskell.org/u/BebeSparkelSparkel)\
**Post date:** [March 5, 2020, 2:22pm UTC](https://discourse.haskell.org/t/static-analysis-of-non-monadic-parsers/1129/2 "2020-03-05T14:22:28Z")

</div>

A couple of us are working on a semi-related project for biparsing. I think your thoughts on static analysis are very desirable features. We would appreciate your insight.

> **[GitHub - BebeSparkelSparkel/biparsing: Bidirectional Parsing. Work in Progress](https://github.com/BebeSparkelSparkel/biparsing)**
>
> Bidirectional Parsing. Work in Progress

> **[Functional Programming](https://funprog.zulipchat.com/login/)**
>
> Everything related to functional programming (or programming in general :D)

---

<div class="post-metadata">

**Author:** ![taylorfausak](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/taylorfausak/32/54_2.png) [@taylorfausak](https://discourse.haskell.org/u/taylorfausak)\
**Post date:** [March 8, 2020, 1:02pm UTC](https://discourse.haskell.org/t/static-analysis-of-non-monadic-parsers/1129/3 "2020-03-08T13:02:48Z")

</div>

I started surveying Haskell packages for invertible syntax descriptions a while ago. Sadly I never finished. But y’all may be interested in what I have so far anyway: [https://gist.github.com/tfausak/a8d7f135bf76e64ea6f35d3be692cbeb](https://gist.github.com/tfausak/a8d7f135bf76e64ea6f35d3be692cbeb)