Changes between Version 14 and Version 15 of ProjectSuggestions


Ignore:
Timestamp:
Jan 28, 2011 2:41:48 PM (4 years ago)
Author:
simonmar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ProjectSuggestions

    v14 v15  
    2929  * '''Allow much finer and more modular control over the way in which rewrite rules and inlining directives are ordered'''.  See this [http://www.haskell.org/pipermail/haskell-cafe/2008-January/038196.html email thread] 
    3030   
    31   * '''Support dynamically-linked Core-to-Core plug-ins''', so that people can add passes simply by writing a Core-to-Core function, and dynamically linking it to GHC.  This would need to be supported by an extensible mechanism like ``attributes`` in mainstream OO languages, so that programmers can add declarative information to the source program that guides the transformation pass.  Likewise the pass might want to construct information that is accessible later.  This mechanism could obviously be used for optimisations, but also for program verifiers, and perhaps also for domain-specific code generation (the pass generates a GPU file, say, replacing the Core code with a foreign call to the GPU program). See [wiki:Plugins] for some early thoughts on this. 
    32  
    33     * '''Improve the GHC API''', whereby you can import GHC as a library.  We make improvements now and then, but it would benefit from some sustained attention.  A particular project would be to port the Haskell refactorer [http://www.cs.kent.ac.uk/projects/refactor-fp/hare.html HaRE] to use the GHC API. 
    34  
    3531=== Types === 
    3632 
     
    4541 * [[TicketQuery(id=1872|0)]] 
    4642 
    47 === Parallel stuff === 
     43=== Runtime system === 
    4844 
    49   * Experiment with multiprocessor Haskell and/or STM by building and measuring applications, investigate improvements 
    50   * Continue work on parallel GC: particularly independent minor-generation collections. 
     45  * Incremental or concurrent GC, for reducing pause-times.  Perhaps via implementing mark-region GC in the old generation. 
     46 
     47  * Improvements to [http://research.microsoft.com/en-us/projects/threadscope/ ThreadScope]: incorporate performance-counter events, visualise more runtime events, include source-code information in the profile. 
     48 
     49=== Packages === 
     50 
     51  * A package API tool. 
     52 
     53  * fixed package ABIs for binary-upgradable packages. 
    5154 
    5255-------------