Category Archives: User Interface

Lambdas in Tacit Code

While tacit programming is an excellent default, it is not suitable for all use cases. Attempting to use tacit programming everywhere results in pointlessly onerous data shuffling. A few local names, in the form of lambdas and let expressions and … Continue reading

Posted in Language Design, User Interface | Leave a comment

Program Rewriting

Rewriting is not an unusual basis for programming language formalization. Lambda calculus is frequently expressed in terms of rewriting, as are combinator logics. However, rewriting seems to be unusual at the implementation layer. Instead, we model environments, stacks, none of which … Continue reading

Posted in Language Design, User Interface | Tagged , | 7 Comments

Wikilon Dictionary Applications

A repeating cycle of simplification and refinement has fine-tuned Wikilon since I introduced it over a year ago. One area where Wikilon has changed significantly is its application model, that is: how I expect to host server-side applications and debugging. … Continue reading

Posted in Language Design, Live Programming, Modularity, State, User Interface | 2 Comments

Command Language for Awelon

Claw (command language for awelon) is an editable view and syntactic sugar for AO (awelon object). AO is a subset of Awelon Bytecode (ABC) that limits tokens and texts. Tokens of the form {%foo} link definitions of other words in … Continue reading

Posted in Grammars, Language Design, User Interface | 1 Comment

Introducing Wikilon

I have decided to move forward with a wiki-based development environment for Awelon project, under the name Wikilon. Wikilon will be implemented as a Haskell warp web service using acid-state for persistence and websockets for liveness and reactivity. Wikilon can … Continue reading

Posted in Language Design, Live Programming, Open Systems Programming, User Interface | Tagged , | 3 Comments

Embedded Literal Objects

When a PL is designed for a text editor, it is natural that text is the richest embedded literal. The text editor provides the visualization and update HCI. And text can certainly be useful; beyond modeling a subset of human … Continue reading

Posted in Language Design, Modularity, Types, User Interface, UserInterface | 5 Comments

UI as an Act of Programming

I’ve been thinking quite a bit, recently, about the relationship between UI and programming. A programming language is certainly a user interface – but usually a poor one from a human factors standpoint. And a UI can be considered a … Continue reading

Posted in Language Design, Types, User Interface, UserInterface | 15 Comments

Programming with Augmented Reality

Augmented reality (AR) is a powerful foundation for the next generation of ‘integrated development environments’ for many reasons. Developers can have sprawling workspaces across a room, a building, even a mountainside (depending on how much exercise the developer desires). There … Continue reading

Posted in Language Design, User Interface, UserInterface | 2 Comments

Exponential Decay of History

There are many problems for which it is useful to keep a history. A few examples of such problems: keep history of control-flow in an application for debugging purposes keep history of updates to a document for undo purposes keep … Continue reading

Posted in Language Design, Stability, State, Types, User Interface | 5 Comments

Unlimited Detail for Large Animated Worlds

A group called Euclideon from Australia has made extraordinary claims about Unlimited Detail technology – ability to achieve much more detail in a world as you zoom in or out by representing structures in terms of atoms of arbitrary precision. … Continue reading

Posted in Concurrency, Grammars, User Interface, UserInterface | Tagged , , | 2 Comments