... | ... | @@ -86,6 +86,7 @@ The above commentary covers the source code of GHC. For material that doesn't co |
|
|
- [SQL-Like Comprehensions](sql-like-comprehensions): Notes on SPJs "Comprehensive Comprehensions" (TransformComprehensions)
|
|
|
- [Deferring compilation type errors to runtime (\`-fdefer-type-errors\`)](defer-errors-to-runtime)
|
|
|
- [Demand analyser](commentary/compiler/demand) Notes on the meanings, worker-wrapper splitting of demand signatures and relevant components of the compiler
|
|
|
- [Closed type families](new-axioms)
|
|
|
|
|
|
- Notes on proposed or in progress (but out of tree) GHC compiler features:
|
|
|
|
... | ... | @@ -94,7 +95,6 @@ The above commentary covers the source code of GHC. For material that doesn't co |
|
|
- [Contracts in Haskell](commentary/contracts)
|
|
|
- [Agda-style holes in terms](holes) which supports writing partial programs.
|
|
|
- [Records](records)
|
|
|
- [New coercion axioms design](new-axioms)
|
|
|
- [ 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)
|
... | ... | @@ -111,6 +111,7 @@ The above commentary covers the source code of GHC. For material that doesn't co |
|
|
- [Syntax for explicit type application and scoped type variables](explicit-type-application)
|
|
|
- [Syntax for defining kinds that do not arise from datatype promotion](ghc-kinds/kinds-without-data)
|
|
|
- [Lambda-Case](lambdas-vs-pattern-matching): Syntax for full (with branching) pattern matching on arguments of lambda abstractions
|
|
|
- [Roles](roles): Fixing the `-XGeneralizedNewtypeDeriving` bug.
|
|
|
|
|
|
- Library issues
|
|
|
|
... | ... | |