functional

[Andrei Alexandrescu]

On 03/10/2010 05:01 PM, grauzone wrote:
> 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.)

That'll never work. The OS granularity is 4KB increments.

Andrei