... | ... | @@ -15,16 +15,43 @@ The ideas in these papers are implemented and merged into master. |
|
|
>
|
|
|
> Introduces `RULES`.
|
|
|
|
|
|
- **Template Meta-programming for Haskell**. Tim Sheard, Simon Peyton Jones. Haskell '02. [ doi](http://dx.doi.org/10.1145/636517.636528)[ pdf](http://research.microsoft.com/en-us/um/people/simonpj/papers/meta-haskell/meta-haskell.pdf)
|
|
|
|
|
|
>
|
|
|
> Introduces Template Haskell.
|
|
|
|
|
|
- **Scrap your Boilerplate: a Practical Design Pattern for Generic Programming**. Ralf Lämmel, Simon Peyton Jones. TLDI '03. [ doi](http://dx.doi.org/10.1145/604174.604179)[ pdfs](http://research.microsoft.com/en-us/um/people/simonpj/papers/hmap/index.htm)
|
|
|
|
|
|
>
|
|
|
> Introduces `Typeable` and `Data`.
|
|
|
|
|
|
- **Associated Types with Class**. Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones, Simon Marlow. POPL '05. [ doi](http://dx.doi.org/10.1145/1040305.1040306)[ pdf](http://research.microsoft.com/en-us/um/people/simonpj/Papers/assoc-types/assoc.pdf)
|
|
|
|
|
|
>
|
|
|
> Introduces associated data families.
|
|
|
|
|
|
- **Associated Type Synonyms**. Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones. ICFP '05. [ doi](http://dx.doi.org/10.1145/1086365.1086397)[ pdf](http://research.microsoft.com/en-us/um/people/simonpj/papers/assoc-types/at-syns.pdf)
|
|
|
|
|
|
>
|
|
|
> Introduces associated type families.
|
|
|
|
|
|
- **System F with Type Equality Coercions**. Martin Sulzmann, Manuel Chakravarty, Simon Peyton Jones. TLDI '07. [ doi](http://dx.doi.org/10.1145/1190315.1190324)[ extended pdf](http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/tldi22-sulzmann-with-appendix.pdf)
|
|
|
|
|
|
>
|
|
|
> The original paper describing GHC's Core language, also called FC in academic literature.
|
|
|
|
|
|
- **Understanding Functional Dependencies via Constraint Handling Rules**. Martin Sulzmann, Gregory J. Duck, Simon Peyton Jones, Peter J. Stuckey. JFP '07. [ doi](http://dx.doi.org/10.1017/S0956796806006137)[ pdf](http://research-srv.microsoft.com/en-us/um/people/simonpj/papers/fd-chr/jfp06.pdf)
|
|
|
|
|
|
- **Practical Type Inference for Arbitrary-Rank Types**. Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields. JFP '07. [ doi](http://dx.doi.org/10.1017/S0956796806006034)[ pdf](http://repository.upenn.edu/cis_papers/315/)[ technical appendix](http://repository.upenn.edu/cis_reports/58/)
|
|
|
|
|
|
>
|
|
|
> Describes type inference for higher-rank types.
|
|
|
|
|
|
- **OutsideIn(X): Modular Type Inference with Local Assumptions**. Dimitrios Vytiniotis, Simon Peyton Jones, Tom Schrijvers, Martin Sulzmann. JFP '11. [ doi](http://dx.doi.org/10.1017/S0956796811000098)[ pdf](http://research.microsoft.com:8082/en-us/um/people/simonpj/papers/constraints/jfp-outsidein.pdf)
|
|
|
|
|
|
>
|
|
|
> Describes the type inference algorithm in detail, focusing on GADTs and type families.
|
|
|
|
|
|
- **Giving Haskell a Promotion**. Brent Yorgey, Stephanie Weirich, Julien Cretin, Simon Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães. TLDI '12. [ doi](http://dx.doi.org/10.1145/2103786.2103795)[ pdf](http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/promotion.pdf)
|
|
|
|
|
|
>
|
... | ... | @@ -52,4 +79,15 @@ The ideas in these papers are implemented and merged into master. |
|
|
|
|
|
## In progress
|
|
|
|
|
|
## Proposed |
|
|
\ No newline at end of file |
|
|
|
|
|
These papers have an implementation in progress, but have not yet merged (July 2015).
|
|
|
|
|
|
- **System FC with Explicit Kind Equality**. Stephanie Weirich, Justin Hsu, Richard A. Eisenberg. ICFP '13. [ doi](http://dx.doi.org/10.1145/2500365.2500599)[ pdf](http://www.seas.upenn.edu/~sweirich/papers/fckinds.pdf)
|
|
|
|
|
|
>
|
|
|
> Merges types with kinds, allowing promotion of GADTs and type families.
|
|
|
|
|
|
## Proposed
|
|
|
|
|
|
|
|
|
These papers propose extensions to GHC, but have not yet started on an earnest implementation. |