Ask HN: Which people and groups are researching new approaches to programming?
Me.<p>I'm working on Full Metal Jacket, a strongly-typed, visual, pure dataflow language (<a href="http://web.onetel.com/~hibou/fmj/FMJ.html" rel="nofollow">http://web.onetel.com/~hibou/fmj/FMJ.html</a>) with its own IDE.<p>Things have advanced a fair bit since I wrote those pages, and published the recent paper, so I'll add to the tutorials very soon, and announce this in Hacker News.   Type definition, macros, and a few other things have been added to the language.<p>.303 shared-source release approaches, but I don't do deadlines.<p>No battle plan survives contact with the enemy, but I have some ideas for future directions, including adding dependent types, running on a multi-core machine with speculative execution, and automatic programming (i.e. user supplies just inputs and outputs).   Very long-term ideas involve a developing a variant of the language which enables programs to run backwards, to enable execution on a gated quantum computer.