January 20th, 2010

device

Going Parasailing

For the language geeks who want to get in on the ground floor of language design: I just stumbled across the Parasail blog, which looks intriguing. Parasail is apparently a new language, still in the process of being designed, focused on scalable, critical applications, with concepts like implicit parallelism, preconditions and postconditions, and other cool modern notions.

Yes, it's hypothetical now, but has good provenance: it's the current project of Tucker Taft, who I used to work with at Intermetrics early in my career. Tucker was the driving force behind Ada 95, the massively-improved update to the Ada language that we were deeply involved in there. (I spent the better part of a year writing the very first Ada 95 IDE, more or less single-handedly, to go along with the compilers that were our main focus. It was a fun project, and taught me a lot about how much you can accomplish with the right tools.) He groks both language theory and practice quite well: I look forward to delving into this project, and seeing where it goes...