I'm working on a programming environment called imp. The vision is of an emacs-y live self-modifying environment for working with structured data across multiple devices. 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
Here is the story so far:
- Core language
- Denotational semantics
- Simple interpreter (coming soon...)
- Solving functions?
There is also a playground.
While you wait for the next post, why not visit some of these fine pages: