[GHC] #7662: Improve GC of mutable objects

[GHC]

#7662: Improve GC of mutable objects
---------------------------------+------------------------------------------
    Reporter:  ezyang            |       Owner:                  
        Type:  feature request   |      Status:  new             
    Priority:  normal            |   Milestone:  _|_             
   Component:  Runtime System    |     Version:  7.7             
    Keywords:                    |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown    
  Difficulty:  Unknown           |    Testcase:                  
   Blockedby:                    |    Blocking:                  
     Related:                    |  
---------------------------------+------------------------------------------

Comment(by josef):

 The ML community has though quite a bit about unpacking refs in datatypes
 and records. It's hard to do a good job in general and this is the reason
 that ocaml includes the `mutable` keyword to allow the programmer to
 specify that a record field should be mutable. The ocaml compiler can
 generate pretty tight code for mutable record fields.

 I suppose we could have something similar in Haskell but it would take
 some work to iron out all the details. My feeling is that it would require
 coming up with new syntax for setting and getting mutable fields.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7662#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler