I'm working on a programming environment called imp. The vision is of an live environment for working with structured data across multiple devices, blurring the lines between database and programming language. The big moving parts are:
- a versioned relational database
- an extensible GUI
- a pure programming language built around relations
- an interpreter with fast incremental view maintenance
The current focus is on designing the query language. Here is the story so far:
- Core language
- Denotational semantics
- Simple interpreter
- Solving functions
- Incremental maintenance?
- Time and state?
- Building UIs?
There is also a playground.
While you wait for the next post, why not visit some of these fine pages: