simon peyton jones

Announcing FP Day 2011 a new 1 day Functional Programming event.

The event covers the practical application of FP in Haskell, F# and Clojure.

Keynote speakers are Simon-Peyton-Jones and Don Syme.

Hands-on beginner sessions available for the above languages.

Booking now open.

FP Day 2011 is organised by Software Acumen and supported by Software East.

A Monadic Framework for Delimited Continuations (PDF), R.

Kent Dybvig, Simon Peyton Jones, Amr Sabry. TR, June 2005.

Generative Type Abstraction and Type-level Computation (Extended Version), by Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Steve Zdancewic:

Peter Seibel's book Coders at Work is apparently available for purchase, so this is a good time to say a few words about it here.

The book consists of interviews with several illustrious programmers about their personal histories, programming style, likes and dislikes and so on.

Among the interviewees are several who are well known in programming language circles and are mentioned regularly on LtU, for example Brendan Eich, Joe Armstrong, Simon Peyton Jones, Peter Norvig, Guy Steele, Dan Ingalls, and Ken Thompson.

Hoopl: Dataflow Optimization Made Simple by Norman Ramsey, João Dias, and Simon Peyton Jones.

If optimization and intermediate languages for lazy functional languages is your thing, take a look at Types are Calling Conventions by Max Bolingbroke and Simon Peyton Jones.

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...

Type Checking with Open Type Functions by Tom Schrijvers, Simon Peyton-Jones, Manuel M.

T. Chakravarty, and Martin Sulzmann

A Simon Peyton Jones interview as part of the series The A-Z of Programming Languages that Naomi Hamilton has been putting together.

Posting this one to the front page, not because of any bias towards functional programming, so much as it stands on its own as interesting and insightful from the standpoint of programming language design and evolution.

In the past year I have been passionately fighting what Simon Peyton Jones calls "the effects monster", although often it feels like I am