Working on a better semantics for mutable state. This is a fundamental problem of programming, and I believe we need an entirely new approach to make substantial progress. A first (ultimately failed) attempt was Coherence. My third try is looking good.
What is Subtext?
You need to see for yourself. The latest state of Subtext is described in this paper. Here is the original paper, and a subsequent tech report. The old video of Subtext 1. Here is a tech report about some new directions for Subtext.
Why is Subtext?
To make programming fundamentally easier. Here is my manifesto
, and here is an essay
Example Centric Programming
of the practical benefits, demonstrated for Java in Eclipse.
Where is Subtext?
Who is Subtext?
A vast grass-roots movement of programmers striving for liberation and
enlightenment. Pay no attention to that man
behind the curtain. Join the discussion at the Alarming Development
When is Subtext?
See the FAQ