[GHC] #7662: Improve GC of mutable objects
GHC
cvs-ghc at haskell.org
Wed Feb 6 13:21:38 CET 2013
#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
More information about the ghc-tickets
mailing list