Charles said:Bass said:*snip*
All great suggestions. Noted.
Simon Peyton-Jones on the cutting edge and future of Haskell and C--. Secondarily, what he thinks about Phoenix.
Looking at his 2010 papers he's been busy:
- [July 2010] Generative Type Abstraction and Type-level Computation (with Stephanie Weirich, Dimitrios Vytiniotis, and Steve Zdancewic). This paper, submitted to POPL'11, describes how to combine Haskell's new abilities to do type-level computation with the old ability to do type abstraction using newtypes. Rather surprisingly (to me) the two are in tension, and the solution is quite interesting.
- [June 2010] Seq no more (by Simon Marlow, Patrick Maier, Phil Trinder, Hans-Wolfgang Loidl, and Mustafa Aswad). A new take on the "algorithms + strategies = parallelism" story, providing a nice Haskell library to support parallel computation. To appear at the 2010 Haskell Symposium.
- [June 2010] Supercompilation by evaluation (with Max Bolingbroke). This is our first foray into supercompilation. To appear at the 2010 Haskell Symposium.
- [June 2010] The performance of Haskell 'containers' package (by Milan Straka). Milan did this work while an intern here at MSR Cambridge. To appear at the 2010 Haskell Symposium.
- [May 2010] Modular type inference with local assumptions (with Dimitrios Vytiniotis, Tom Schrijvers, Martin Suzmann). This epic 70-page JFP submission brings together, in a single uniform framework, a series of our earlier papers on type inference for type systems involving local constraints, including GADTs and indexed type families.
- [April 2010] Hoopl: A Modular, Reusable Library for Dataflow Analysis and Transformation (with John Dias and Norman Ramsey). This paper,completely rewritten in April 2010, describes our framework for doing dataflow optimisation on imperative C-- programs. To appear at the 2010 Haskell Symposium.
- [April 2010] Regular, shape-polymorphic, parallel arrays in Haskell (with Manuel Chakravarty, Gabriele Keller, Roman Leshchinskiy, and Ben Lippmeier) describes a high-performance data-parallel library for regular arrays. To appear at ICFP 2010.