Greetings from Portland, Oregon. Here are my impressions of OOPSLA 2006. Continue reading “OOPSLA 2006”
My OOPSLA submission (to the Research Paper track) was rejected. Not a big surprise. The paper was ill-conceived, more of a brain-dump of my latest research than a focused story. Still, I thought it contained some real contributions, like a new approach to the problems of mutable state and concurrency. Continue reading “Abort, Retry, Fail?”
My recent proposal to work on modeling capabilities fell flat, but elicited some good discussion of future directions for Subtext. Peter Marks wrote:
… I would rather see a complete re-examination of what lies underneath the World Wide Web. And then take the Subtext approach of banishing syntax, treating program as data, history, etc. … This would mean initially abandoning the UI demo and focusing more on the development of a system/infrastructure that works with and within the Internet.
Macneil Shonle wrote:
I wonder what “Subtext on Rails” would look like?
The comments on Plan B have changed my mind (a rare occurrence in the blogosphere). Continue reading “Plan A”
Subtext faces enormous obstacles to becoming an accepted programming language. It is still just a sketch, missing crucial pieces. But even as I slowly fill it out, I am encountering unyielding resistance. There is a great deal of skepticism about the whole idea of non-textual programming, due to the past failures of Visual Programming Languages. Overcoming that bad reputation will require proof that the UI and VM can scale to industrial-strength, and that there are unequivocal productivity benefits. I can’t do that alone, and it seems that I won’t get much help (particularly from the academic community) until I can first overcome the skepticism. Chicken and egg. Modern programming languages have dug a deep rut over the last 50 years, and dislodging them will not be easy. It will require finesse. Continue reading “Plan B”
I have posted a draft of my latest OOPSLA submission: First Class Copy & Paste. As always, comments are welcome.
I apologize that this paper is so hard to read. It is very technical and formal, and all about internals, not the user interface. I felt that I needed to precisely define how Subtext works, both for myself, and for others who want to try to do something similar. A secondary goal was to document the idea of hypothetical computation that is in the demo. I also added a cool new idea: transactional concurrency. But few people will wade through the technicalities to get to that part. I probably should write a more accessible paper about hypotheticals and transactional concurrency.
David Reed gave a keynote at OOPSLA about Croquet and TeaTime. Croquet is a re-imagining of Alan Kayâ€™s seminal Dynabook vision, a vision which has influenced many aspects of modern computers and software. The Dynabook was a personal computing tool, while Croquet is envisioned to be a collaborative environment on the scale of the Web. I would call it â€œThe World Wide Dynabookâ€. I applaud the grandness of the vision: reinventing how we interact with the internet, all the way from the end-user interface down to the network protocols and the programming language. I found the hints about their underlying architecture to be tantalizing, but unfortunately I got little more than hints, even after reading their publications. I will review what I have learnt so far. Continue reading “The World Wide Dynabook”
OOPSLA was great. I got a lot of positive comments and encouragement. It was quite heady to have established researchers, whose work I respect, introduce themselves and tell me that they liked my work. Perhaps a bit too heady: it wasnâ€™t until the last day of the conference that I realized I should be using the opportunity to seek criticism and advice from the masters. Continue reading “OOPSLA report”
I have produced a Flash video of my upcoming OOPSLA presentation. It is divided into two parts, both about 15 minutes long. The first part recapitulates the previous video of building a factorial function. There are some new features, but if you already watched the older video, you can skip it without missing much. The second part demonstrates my new approach to I/O and mutable state.
I am excited about this development, not only because it addresses a big problem lacking good solutions, but also because it is going beyond “mere” usability issues. It has been easy up till now to dismiss my work as just repackaging standard language semantics into a different user interface. Now I am starting to show that fundamentally changing the way we represent programs can fundamentally change the way we think about them.
As always, please let me know what you think.
[10/24/05: updated the slides at the very end to match what I actually presented at OOPSLA]
If you are going to be at OOPSLA and are interested in getting together, drop me an email. We could organize a BOF session, and perhaps also have a group dinner.
Dynamic Aspects has published their upcoming OOPSLA presentation of domain/object, the language underlying their Java IDE. There is a remarkable correspondence between their ideas and my own. This makes reviewing their paper a difficult proposition: it would be easy to nitpick over differences; but it would be equally easy to falsely read my own ideas between the lines of theirs. Continue reading “domain/object”
One of the anonymous reviewers of my OOPSLA paper made the point, paraphrasing, that the main problem in software development is not the difficulty of programming, but the difficulty of getting a development project to function effectively. This is usually seen as the subject of methodology, with â€œextremeâ€ and â€œagileâ€ methods being the latest trends. My initial reaction to this criticism was to point to the example of spreadsheets, which make a certain class of problems simple enough to be solved by an end-user or power-user themselves, without enduring the trials and tribulations of a professionally staffed development project. Even on such multi-person projects, reducing the programming effort ought to reduce the size of the team and the number of interactions subject to error. However the fundamental point of the criticism remains true: the biggest problem in software development is teamwork. It has occurred to me that the design philosophy of Subtext can contribute to solving this problem. Continue reading “The Currency of Development”
My little screencast has now gotten over ten thousand hits. Amazing. It seems there is a large pent-up desire for a better way to program. I have gotten lots of positive feedback, much of it endorsing not so much the particulars of Subtext as that I am making an attempt to improve things. Thanks to everyone.
I have also triggered some fairly negative reactions. I take this response also as a positive sign, that my work is threatening enough to warrant a backlash. I have written an FAQ to answer some of the recurrent criticisms.
This might be a good time for a progress update on Subtext. I have decided to change direction somewhat. I was previously working on “getting factorial right” with new representations for conditionals, iteration, and higher-order functions, as described in the Future Work section of my OOPSLA submission. I now think I should shelve that and instead face the issue of I/O and mutable state. This nasty problem has been the bane of much programming language research, particularly leaving functional languages tied up in knots. It could be the critical issue that makes or breaks Subtext. My new goal is to show how to build a GUI in Subtext, and to do so while maintaining the principles of WYSIWYG and the unification of edit-time with run-time, just as with factorial. I haven’t figured out all the details yet, but if I can pull it off it would make an eye-opening demo, and also make Subtext dramatically more realistic and relevant.
Building a toy for my children suggested an analogy with programming. Many toys come knocked down, requiring assembly, with instructions of the form “insert peg A into hole A, slide tab B into slot B, …”. This is just like the way we use names in programming languages, indicating parts that need to be attached by labelling them with the same name. The function call A is to be attached to the function definition A. Programming with names is like creating a program as a big pile of pieces with labels attached, and leaving it to the compiler/interpreter to assemble the pieces into something that works. Textual programs are knocked down.
The problem is that this approach boggles the mind when used with thousands or even millions of pieces. Modern IDE’s like Eclipse strive valiantly to help us imagine how things will plug together, but this is an impossible task. Even my kids know that all the King’s horses and all the King’s men can’t put Humpty together again.
The goal of Subtext is to fabricate programs as working wholes. No assembly required.
Here is a review of some research on managing the explosion of information in an IDE. Note that all of these are based on Eclipse, which appears to have become the dominant platform for IDE research.
Mylar is an experimental Eclipse plugin that tracks what program elements you are interested in, by watching your editing/browsing behavior. It alters the standard views such as the Package Explorer, Outline, and Type Hierarchy to focus in on what you have expressed interest in. Uninteresting things are filtered out, and the interest-level of the remaining things is indicated by different shades of highlighting. You can manually establish “landmarks” on program elements, which drive certain views to automatically display related elements, such as a type hierarchy filtered down to show only the inheritance structure of the landmarks.
Relo takes a different approach: instead of filtering the system down, it lets you build up a diagrammatic view of just the parts you are interested in as your explore.
JQuery lets you build a custom broswer by writting queries over your program. The results are shown in tree form, and you can expand any leaf with another sub-query, either custom or standard.
Dynamic Aspects has released some white papers and demos of their planned development tools. Their initial product is a Java IDE where the language becomes the tool. They seem to share many of my goals, and I am looking forward to seeing what they come up with. Their headline feature is micro-refactoring. Continue reading “Dynamic Aspects”
Lambda the Ultimate posted an item on Subtext. I waded into the ensuing discussion to try to clarify things.
I didn’t notice it for a few days though, and the attention span of blog discussions seems to be only a day or two. What I need is something like the old clipping services for newspapers, that would email me whenever anyone blogs me. I thought that was what pingbacks were for, but I have never received one (nor a trackback).