Towards a Visual Editor for Lens Combinators
Languages for programming state-based asymmetric lenses are usually based on lens combinators, whose style, having a functional programming origin, is alien to most programmers and awkward to use even for experienced functional programmers. We propose a visual syntax mimicking circuit diagrams for the combinator-based language BiGUL, provide a relational interpretation that allows the diagrams to be understood bidirectionally, and sketch how an editor for the visual syntax can help to construct, understand, and debug lens combinator programs in an intuitive and friendly way.
Tue 10 Apr
|14:30 - 15:00|
Anthony AnjorinPaderborn University, Germany, Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, JapanPre-print
|15:00 - 15:30|
|15:30 - 16:00|