[seanmcdirmid]

Amen. You might want to check out my project that attempts to rationalize mutation through time management rather than avoid it:

http://research.microsoft.com/en-us/people/smcdirm/managedti...

Anyways, there are many other ways of fixing or transcending Von nuemann, pure functional might not be it.

[hyperpape]

This is the second time I've looked at that page (saw it on LtU several months ago), and I find it baffling.

In particular, what escapes me is what those videos represent. Why are they showing typing, rather than what some code does? Are you demonstrating a programming language or a live coding environment? The first two paragraphs seem to discuss the former, but the videos look like the latter. And if it is the latter, I can't figure out what the language is doing because I'm so hung up on the typing/deletion/live feedback.

The only way I've been able to get anywhere is by looking at the paper. You might want to link to the paper or some other overview rather than this page.

[seanmcdirmid]

Both. It is a live programming (not coding) environment in the spirit of Bret Victor, but it is made possible by automatic time management. You can't really show that however, so the essay focuses on the programming environment making the benefits more tangible while the paper focuses on the programming model (I point people at the essay first because many don't want to read papers). The paper is linked at the top of the essay.