Ulf Wiger » FP Seminar

FP seminar panel discussion

Ulf Wiger — Tue, 01 Apr 2008 20:48:02 +0000

From a Functional Programming seminar at Ericsson, 21 February 2008

(See The full article for more details).

Panel discussion (Download)
[See post to watch Flash video]

I finally got around to editing out those few details in the discussion that initially prevented me from posting the video.

My own favourite extract from the discussion:

Simon: “If a boat is sinking with 100 people on board and you scatter some life belts in the region, then they’ll probably swim and cling on to them, right? Just because life belts float. So functional programming is good stuff, right, and is like this granite, then we’ll end up with people clinging on to it.”
Joe: “But … granite sinks.”
Simon: “Uuhm, what sinks?”
Joe: “Granite – sinks”
Simon: “…So I shouldn’t mix metaphors!”

Functional Programming Seminar

Ulf Wiger — Fri, 29 Feb 2008 22:30:59 +0000

Last week (21 Feb), I had the pleasure of co-hosting a seminar on Functional Programming at Ericsson. We were able to bring an impressive cast of speakers:

Simon Peyton-Jones, Microsoft Research
Satnam Singh, Microsoft Research
John Hughes, Chalmers
John Launchbury, Galois

Some notable people in the audience were Seif Haridi, Joe Armstrong, Thomas Arts, Mary Sheeran, Koen Claessen

I want to extend my sincere thanks to all the speakers and distinguished guests, and post the seminar slides and videos of the talks for your enjoyment. Some Ericsson-specific content from the seminar has been omitted.

You may view them as streaming video, or download them and watch them locally (using e.g. VLC, QuickTime or the Wimpy FLV Player). I’ve noted some trouble viewing this many embedded flash streams on a single page, so I’ve posted each talk individually under the FP Seminar category.

Links follow, in the order in which they were presented:

Simon Peyton-Jones:
“Taming Effects – The Next Big Challenge”

Satnam Singh:
“Declarative Programming Techniques for Many-Core Architectures”

John Hughes:
“Testing with QuickCheck”

Simon Peyton-Jones:
“Composing Contracts – An Adventure in Financial Engineering”

John Launchbury: “High-Assurance Software”

(Update)
Panel discussion