Posts

• Note to myself: a theory of injective arrows - April 22, 2017
• Coupled reader and writer - January 4, 2017
• Monadic profunctors for bidirectional programming - January 1, 2017
• Applicative style programming with profunctors - December 23, 2016
• Applicative lenses - November 2, 2016
• Lookaheads - October 28, 2016
• Typeclasses for bidirectional serialization, an example - October 20, 2016
• Typeclasses for bidirectional serialization - October 19, 2016
• Better invertible syntax descriptions - October 18, 2016
• Towards monadic bidirectional serialization, a monadic example - October 17, 2016
• Towards monadic bidirectional serialization, a step back - October 13, 2016
• Towards monadic bidirectional serialization - October 12, 2016
• Incremental updates for efficient bidirectional transformations - October 6, 2016
• Parsing and unparsing with lenses - September 28, 2016