List Relevant References

[BebeSparkelSparkel]

If anyone has relevant links/references/sources to this, could you please add them here so that we can pool our external sources?

[BebeSparkelSparkel]

from masaeedu

• https://github.com/masaeedu/co-optics/blob/master/src/Examples/Biparsing.hs
• JSON biparser
• Composing bidirectional programs monadically

@yairchu

from yairchu

• Parsers and Builders as Prisms comments on reddit
• Basic error reporting for optics comments on reddit

from toml

• tomland: Bidirectional TOML serialization
• Toml.Bi.Map

@frasertweedale

from frasertweedale

• Prism-based unified parsers and pretty printers

from chessai

• codec @chpatrick

@ChrisPenner

from ChrisPenner

• lens-errors

from obelisk

• newtype Encoder check parse decoded encoded

@seagreen

from seagreen

• Static analysis of parsers disscussion on discourse

for the profunctor noobs

• Profunctor OpticsModular Data Accessor
• purescript-profunctor-lenses

[masaeedu]

Small correction, the purescript-snap thing doesn't have anything to do with the "Composing bidirectional programs monadically" paper. They just happen to explore related ideas that fed into the co-optics repo.

[BebeSparkelSparkel]

I see. I will remove it

[solomon-b]

https://blog.poisson.chat/

[blamario]

https://www.informatik.uni-marburg.de/~rendel/unparse/rendel10invertible.pdf

[blamario]

https://old.reddit.com/r/haskell/comments/esbqvr/haskell_version_of_pythons_construct_library_for/ffy2y5u/

[kztk-m]

You may also be interested in our Haskell 18 paper below, which discusses an embedded implementation of an invertible pretty printing system called FliPpr.
https://www2.sf.ecei.tohoku.ac.jp/~kztk/papers/kztk_haskell2018.pdf (author version)
There is also a prototype implementation of the paper https://github.com/kztk-m/flippre.

The original FliPpr system is also related to the topic.

• Paper (author version): https://www2.sf.ecei.tohoku.ac.jp/~kztk/papers/kztk_esop2013.pdf
• Code repo: https://bitbucket.org/kztk/flippr/src/master/