GHC is now over 20 years old, and has been under continuous active development since its inception. Today, GHC releases are downloaded by hundreds of thousands of people, the online repository of Haskell libraries has over 3,000 packages, GHC is used to teach Haskell in many undergraduate courses, and there are a growing number of instances of Haskell being depended upon commercially. Over its lifetime GHC has generally had around two or three active developers, although the number of people who have contributed some code to GHC is in the hundreds. While the ultimate goal for us, the main developers of GHC, is to produce research rather than code, we consider developing GHC to be an essential prerequisite: the artifacts of research are fed back into GHC, so that GHC can then be used as the basis for further research that builds on these previous ideas. Moreover, it is important that GHC is an industrial-strength product, since this gives greater credence to research results produced with it.
[1]
Simon Peyton Jones,et al.
Playing by the rules: rewriting as a practical optimisation technique in GHC
,
2001
.
[2]
Simon L. Peyton Jones,et al.
Parallel generational-copying garbage collection with a block-structured heap
,
2008,
ISMM '08.
[3]
Simon L. Peyton Jones,et al.
Simple unification-based type inference for GADTs
,
2006,
ICFP '06.
[4]
Simon L. Peyton Jones,et al.
Associated type synonyms
,
2005,
ICFP '05.
[5]
Simon L. Peyton Jones,et al.
System F with type equality coercions
,
2007,
TLDI '07.
[6]
Simon L. Peyton Jones,et al.
A short cut to deforestation
,
1993,
FPCA '93.
[7]
Simon L. Peyton Jones,et al.
Secrets of the Glasgow Haskell Compiler inliner
,
2002,
Journal of Functional Programming.
[8]
Simon L. Peyton Jones,et al.
A history of Haskell: being lazy with class
,
2007,
HOPL.
[9]
Simon L. Peyton Jones,et al.
Extending the Haskell foreign function interface with concurrency
,
2004,
Haskell '04.