Elliot Evans 2023 projects:

• Polytope is a rich and composable experimental code editor that combines text and visual coding; structured and unstructured (I call this mixture "ummm-structured") representations of code; and symbolic and direct manipulation of code.
• Caretope: I began working on adapting text editor caret navigation to visual editors in 2022 as a part of Polytope. I slowly realized that caret navigation is a rich topic in and of itself so I seperated it into its own project: Caretope!
• Made a small experimental bidirectional programming language
• Made bidirectional parser combinators which were used for the bidirectional programming language
• Ended the year working on a bidirectional+recursion library.
• I'm currently using it to make some interactive recursive visuals. It is inspired by Lu Wilson's ScreenPond and Toby Schachman's Recursive Drawing. Talking with Lu, Ivan, Sharon, Josh, and Marcel has helped me think about this project quite a bit.
• Nudging is about exploring a large space of values by making local movements through that space. Constraints limit large spaces to smaller ones, and change how those spaces are navigated.

• This year I made a bidirectional nudging with constraints demo.
• I also made an equation plotter. This plotter will be used to visualize constraints. It will also add visualization to complement direct manipulation of constraints and values.

Malleable Systems Collective 2023 Digest:

• Collaborative work on malleable software
• A World Without Apps
• Joyful Creation
• Window management
• Smooth Gradients of Composability, or Old Man Yells At Compilers
• Freewheeling apps
• understandability => malleability
• Tangible Functional Programming
• SUSN: Simple Uniform Semantic Notation
• An interesting quote about the origin of MVC and event handling
• Tiddlywiki
• Thoughts on WebAssembly / Component Model / WASI?
• Empowering users by inverting three key relationships
• What Lies in the Path of the Revolution
• Götz Bachmann’s Ethnographic Research on Dynamicland
• Fengari
• Beyond Web 2.0 and the Browser?
• UXN and Varvara
• Mu: designing a safe computing stack from the ground up
• The future of software, the end of apps, and why UX designers should care about type theory

A Core Calculus for Documents: Or, Lambda: The Ultimate Document

There are no theoretical tools for reasoning about the design of a document language. Programming language theorists can use the lambda calculus to reason about the design of general-purpose programming languages. No such formal model exists for document languages.

Our work addresses this issue by providing a document calculus , or a formal model of the programmatic aspects of document languages.