... | ... | @@ -77,6 +77,8 @@ The above commentary covers the source code of GHC. For material that doesn't co |
|
|
- [Notes about the new code generator](commentary/compiler/new-code-gen)
|
|
|
- [DPH](data-parallel): Notes about the implementation of Data Parallel Haskell
|
|
|
- [Safe Haskell](safe-haskell): The design of the GHC Safe Haskell extension
|
|
|
- [SQL-Like Comprehensions](sql-like-comprehensions): Notes on SPJs "Comprehensive Comprehensions" (TransformComprehensions)
|
|
|
- [A kind for facts (e.g. class constraints). Implemented as ConstraintKinds](kind-fact)
|
|
|
|
|
|
- Notes on proposed or in progress (but out of tree) GHC compiler features:
|
|
|
|
... | ... | @@ -84,10 +86,8 @@ The above commentary covers the source code of GHC. For material that doesn't co |
|
|
- [ Cloud Haskell](http://haskell.org/haskellwiki/GHC/CouldAndHPCHaskell)
|
|
|
- [A modular package language for Haskell](package-language) Scott Kilpatrick and Derek Dreyer are designing a new “package language” for Haskell in the style of the ML module system.
|
|
|
- [Pattern synonyms](pattern-synonyms)
|
|
|
- [SQL-Like Comprehensions](sql-like-comprehensions): Notes on the ongoing implementation of SPJs "Comprehensive Comprehensions".
|
|
|
- [Type level naturals](type-nats)
|
|
|
- [Kind level](ghc-kinds): Notes on the theory, design and implementation of a kind level by promotion of data types.
|
|
|
- [Proposal to add a kind for facts, e.g. class constraints](kind-fact)
|
|
|
- [Polymorphic Dynamic](polymorphic-dynamic): Notes on adding ad-hoc polymorphic dynamic types
|
|
|
- [Proposal to allow classes to give default implementations for their superclasses](default-superclass-instances)
|
|
|
- [Cmm: Implementing Exception Handling](commentary/cmm-exceptions): Implementing exception handling for primitive operations in Cmm
|
... | ... | |