archives

subtext: Uncovering the simplicity of programming

Some of you might be interested in subtext, a project that explores the idea of example centric programming and non-textual programs.

The basic idea is that the representation of a program is the same as its execution (possibly related to the discussion currently going on about edit-time, reasoning-time etc.)

Programs are constructed by copying and executed copy flow: the projection of changes through copies.

If all this sounds intriguing, hop over and take a look. The site hosts a couple of demos and papers that provide more details.

By Ehud Lamm at 2005-05-07 15:29 | General | 42 comments | other blogs | 13401 reads