functional
grauzone
none at example.net
Wed Mar 10 15:01:03 PST 2010
Andrei Alexandrescu wrote:
> There's one final nail in the coffin. In wake of concurrency, de jure
> immutability becomes a necessity, not a useful and desirable de facto
> convention. Adopting the window dressing but not the essence of FP by a
> concurrent language evokes to me a scene in the Marx Brothers: an
> otherwise impeccably-dressed gentleman who forgot to put his pants on.
Language support is not strictly necessary to get the same effects as
immutable types, as far as multithreading is concerned: small data can
be copied, and large data can be made read-only by OS syscalls. This
just had to be in the message passing library. (As a bonus, it isn't
possible to subvert these mechanisms just by casting.)
More information about the Digitalmars-d
mailing list