... | @@ -35,8 +35,8 @@ Significant changes planned for the 7.4 branch are: |
... | @@ -35,8 +35,8 @@ Significant changes planned for the 7.4 branch are: |
|
|
|
|
|
GHC will now infer the polymorphic kind signature above, rather that "defaulting" to `T :: (*->*) -> * -> *` as Haskell98 does.
|
|
GHC will now infer the polymorphic kind signature above, rather that "defaulting" to `T :: (*->*) -> * -> *` as Haskell98 does.
|
|
|
|
|
|
> >
|
|
>
|
|
> > These new kind-system developents are described in "Giving Haskell a promotion" [ http://research.microsoft.com/\~simonpj/papers/ext-f/ KindPolymorphism](http://research.microsoft.com/~simonpj/papers/ext-f/ KindPolymorphism). Julien Cretin and Pedro Magalhães have done all the implementation.
|
|
> These new kind-system developents are described in "Giving Haskell a promotion" [ http://research.microsoft.com/\~simonpj/papers/ext-f/ KindPolymorphism](http://research.microsoft.com/~simonpj/papers/ext-f/ KindPolymorphism). Julien Cretin and Pedro Magalhães have done all the implementation.
|
|
|
|
|
|
- **Constraint kinds.** Max Bolingbroke has implemented another extension to GHC's kind system, by adding the kind `Constraint` that classifies type constraints. This turns out to be a rather neat way to implement all the joy of Tom Schrijvers and Dominic Orchard's paper "Haskell type constraints unleashed" [ http://tomschrijvers.blogspot.com/2009/11/haskell-type-constraints-unleashed.html Unleashed](http://tomschrijvers.blogspot.com/2009/11/haskell-type-constraints-unleashed.html Unleashed). For example, you can now say
|
|
- **Constraint kinds.** Max Bolingbroke has implemented another extension to GHC's kind system, by adding the kind `Constraint` that classifies type constraints. This turns out to be a rather neat way to implement all the joy of Tom Schrijvers and Dominic Orchard's paper "Haskell type constraints unleashed" [ http://tomschrijvers.blogspot.com/2009/11/haskell-type-constraints-unleashed.html Unleashed](http://tomschrijvers.blogspot.com/2009/11/haskell-type-constraints-unleashed.html Unleashed). For example, you can now say
|
|
|
|
|
... | @@ -119,7 +119,7 @@ Work continues on improving GHC in various directions. Active projects we know a |
... | @@ -119,7 +119,7 @@ Work continues on improving GHC in various directions. Active projects we know a |
|
|
|
|
|
- **Cloud Haskell**. The first version of Cloud Haskell has been released, aiming to bring Erlang-style distributed actors to Haskell [ http://hackage.haskell.org/package/remote](http://hackage.haskell.org/package/remote). See also the paper at Haskell Symposium 2011 [ http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/remote.pdf CloudHaskell](http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/remote.pdf CloudHaskell). Next, we're working on expanding the backend to work with HPC environments.
|
|
- **Cloud Haskell**. The first version of Cloud Haskell has been released, aiming to bring Erlang-style distributed actors to Haskell [ http://hackage.haskell.org/package/remote](http://hackage.haskell.org/package/remote). See also the paper at Haskell Symposium 2011 [ http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/remote.pdf CloudHaskell](http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/remote.pdf CloudHaskell). Next, we're working on expanding the backend to work with HPC environments.
|
|
|
|
|
|
- **Parallel GHC project**: Microsoft Research is funding a 2-year project to push the real-world use of parallel Haskell. We are now into the second year of the project and have some promising results from the project partners. We have also taken on two new commercial partner organisations which are interested in using Cloud Haskell. In addition to helping the project partners we have been working on parallel profiling tools: we made a release of [ http://www.haskell.org/haskellwiki/HaskellImplementorsWorkshop/2011/Coutts ThreadScope with new features for profiling programs that use par sparks](http://www.haskell.org/haskellwiki/HaskellImplementorsWorkshop/2011/Coutts ThreadScope with new features for profiling programs that use par sparks). For more details, see the **link:**parallel GHC project entry, and the project home page [ http://www.haskell.org/haskellwiki/Parallel_GHC_Project ParallelGhcProject](http://www.haskell.org/haskellwiki/Parallel_GHC_Project ParallelGhcProject)
|
|
- **Parallel GHC project**: Microsoft Research is funding a 2-year project to push the real-world use of parallel Haskell. We are now into the second year of the project and have some promising results from the project partners. We have also taken on two new commercial partner organisations which are interested in using Cloud Haskell. In addition to helping the project partners we have been working on parallel profiling tools: we made a release of [ http://www.haskell.org/haskellwiki/HaskellImplementorsWorkshop/2011/Coutts ThreadScope](http://www.haskell.org/haskellwiki/HaskellImplementorsWorkshop/2011/Coutts ThreadScope) with new features for profiling programs that use par sparks. For more details, see the HCAR Parallel GHC project entry, and the project home page [ http://www.haskell.org/haskellwiki/Parallel_GHC_Project ParallelGhcProject](http://www.haskell.org/haskellwiki/Parallel_GHC_Project ParallelGhcProject)
|
|
|
|
|
|
- **Data Parallel Haskell**. GHC 7.2 includes rudimentary support for Data Parallel Haskell — just enough for a little experimentation and to run simple benchmarks. We are working on significantly improving this for GHC 7.4. In particular, we aim to support the use of basic types and classes from the standard Prelude (replacing the minimalistic mock Prelude that DPH programs had to use so far), and we are working on drastically improved space and time complexity for shared data structures in nested parallel programs, such as the Barnes-Hut n-body algorithm.
|
|
- **Data Parallel Haskell**. GHC 7.2 includes rudimentary support for Data Parallel Haskell — just enough for a little experimentation and to run simple benchmarks. We are working on significantly improving this for GHC 7.4. In particular, we aim to support the use of basic types and classes from the standard Prelude (replacing the minimalistic mock Prelude that DPH programs had to use so far), and we are working on drastically improved space and time complexity for shared data structures in nested parallel programs, such as the Barnes-Hut n-body algorithm.
|
|
|
|
|
... | @@ -168,6 +168,8 @@ Work continues on improving GHC in various directions. Active projects we know a |
... | @@ -168,6 +168,8 @@ Work continues on improving GHC in various directions. Active projects we know a |
|
|
|
|
|
- \[SHE\] *The Strathclyde Haskell Enhancement*, Conor McBride, 2010, [ http://personal.cis.strath.ac.uk/\~conor/pub/she/](http://personal.cis.strath.ac.uk/~conor/pub/she/)
|
|
- \[SHE\] *The Strathclyde Haskell Enhancement*, Conor McBride, 2010, [ http://personal.cis.strath.ac.uk/\~conor/pub/she/](http://personal.cis.strath.ac.uk/~conor/pub/she/)
|
|
|
|
|
|
|
|
- \[ThreadScope\] *Spark Visualization in ThreadScope*, Duncan Coutts, Haskell Implementors workshop 2011, [ http://www.haskell.org/haskellwiki/HaskellImplementorsWorkshop/2011/Coutts](http://www.haskell.org/haskellwiki/HaskellImplementorsWorkshop/2011/Coutts)
|
|
|
|
|
|
- \[Unleashed\] "Haskell type constraints unleashed", Tom Schrijvers and Dominic Orchard, FLOPS 2010, [ http://tomschrijvers.blogspot.com/2009/11/haskell-type-constraints-unleashed.html](http://tomschrijvers.blogspot.com/2009/11/haskell-type-constraints-unleashed.html)
|
|
- \[Unleashed\] "Haskell type constraints unleashed", Tom Schrijvers and Dominic Orchard, FLOPS 2010, [ http://tomschrijvers.blogspot.com/2009/11/haskell-type-constraints-unleashed.html](http://tomschrijvers.blogspot.com/2009/11/haskell-type-constraints-unleashed.html)
|
|
|
|
|
|
- \[VectorInstructions\] *Using SIMD instructions via the LLVM back end*, GHC wiki page, [ http://hackage.haskell.org/trac/ghc/wiki/SimdLlvm](http://hackage.haskell.org/trac/ghc/wiki/SimdLlvm)
|
|
- \[VectorInstructions\] *Using SIMD instructions via the LLVM back end*, GHC wiki page, [ http://hackage.haskell.org/trac/ghc/wiki/SimdLlvm](http://hackage.haskell.org/trac/ghc/wiki/SimdLlvm)
|
... | | ... | |