Recording Venue: JAOO 2006
Guest(s): Guy L. Steele Jr.
This episode is an interview with Guy L. Steele Jr.. Guy is a Sun Fellow and heads the Programming Language Research Group within Sun, and a generally well known “programming language guy” (see here for details). We briefly talk about Lisp and the resurgence of dynamic languages before we delve into the main topic, the Fortress programming language he is working on. Fortress is a language intended to replace Fortran as a scientific computing language. We talk about how mathematical notations, syntax extensio and built-in support for parallelism are crucial properties of such a language. We then briefly talk about potentials for compiler optimization before taking a closer look at the type system (static typing, type inference), traits and contract specification as well as first-class support for hierarchical components. We conclude the discussion with a look at automatic partitioning and distribuion of concurrent algorithms and a brief look at the future roadmap for the Fortress language.
- The Common Lisp book he wrote
- The web page of the Programming Language Resarch group at Sun
- Fortress Tutorial Slides
- Fortress FAQ
- Fortress Spec
- Wikipedia page on the Occam language mentioned in the interview
- Guy’s web page at Sun
- There’s even a Wikipedia page where you can also find a lot of information about his career and achievements