Le 2010-01-08 à 15:00, Walter Bright a écrit :
> Your proposal requires yet a new type constructor, "shared immutable", with a new set of rules and overloads. I don't think it's worth it. Currently, "shared immutable" == "immutable", i.e. the two are indistinguishable.
Since I don't think you'll change your mind at this point I'll rest my case. Let's forget about those per-thread GCs. ;-(
This leaves us with the following definitions to check our designs again:
* shared: applies to memory that can always be made visible to other threads
* immutable: applies to memory that cannot be changed and can always be made visible to other threads (and thus implicitly shared)
It's not exactly what I hoped, but it's still better than what I've seen in other languages, which practically means nothing.
--
Michel Fortin
michel.fortin at michelf.comhttp://michelf.com/