... | ... | @@ -27,6 +27,8 @@ Meanwhile, HEAD steams onward, with some preliminary work for the 7.10 milestone |
|
|
|
|
|
- **Partial type signatures** - Thomas Winant and Dominique Devriese (with support from Simon PJ) have been working on partial type signatures for GHC. A partial type signature is a type signature that can contain *wildcards*, written as underscores. These wildcards can be types unknown to the programmer or types he doesn't care to annotate. The type checker will use the annotated parts of the partial type signature to type check the program, and infer the types for the wildcards. A wildcard can also occur at the end of the constraints part of a type signature, which indicates that an arbitrary number of extra constraints may be inferred. Whereas TypedHoles allow holes in your terms, PartialTypeSignatures allow holes in your types. The design as well as a working implementation are currently being simplified \[PTS\].
|
|
|
|
|
|
- **TLS Support in AMQP library** - Alain O'Dea, Holger Reinhardt, Vincent Hanquez, and Michael Klishin collaborated to provide TLS support for the Advanced Message Queing Protocol (AMQP) library. This involved replacing the existing GHC.IO.Handle transport with Network.Connection. Vincent provided a pure Haskell implementation of TLS in the connection library and addressed a deadlock issue that the AMQP library's multithreaded use of connections uncovered. Options were added to control whether TLS was desired and whether or not to perform certificate verification.
|
|
|
|
|
|
## Back-end and runtime system
|
|
|
|
|
|
- **CPU-specific optimizations** - Austin is currently investigating the implementation of CPU-specific optimisations for GHC, including new `-march` and `-mcpu` flags to adjust tuning for a particular processor. Right now, there is some preliminary work towards optimizing copies on later Intel machines. There's interest in expanding this further as well.
|
... | ... | |