Lambda the Ultimate

The notes from a panel held at POPL 2009 on this topic are available here.
The panelists were Simon Peyton Jones, Kathryn McKinley, Xavier Leroy, Martin Rinard and Greg Morrisett.

Among the topics raised: Effects, Program verification, Parallelism, Visualization tools for understanding behavior of parallel programs, Secure software, High assurance.

Not surprisingly all these topics have been discussed here repeatedly in recent years...