std.experimental.collection.functional.slist

[Andrei Alexandrescu via Digitalmars-d]

On 6/18/15 6:26 PM, ZombineDev wrote:
> On Friday, 19 June 2015 at 01:07:10 UTC, ZombineDev wrote:
>> On Thursday, 18 June 2015 at 23:32:03 UTC, Andrei Alexandrescu wrote:
>> [..]
>
> I also noticed that the `front` primitive returns only `const ref`
> (instead of `inout ref`). Is this because the user should regard the
> SList as immutable - i.e. if you want to change an element, you have to
> make the modification in a copy of the list, instead of doing it inplace?

Yah, traditionally functional data structures don't allow their clients 
to mutate the data AND the topology of the container. So front() returns 
a non-mutable ref.

It might be interesting to explore containers that allow mutation of 
data but not of topology. We may collectively think of a few 
applications of that. For now I went the traditional route.


Andrei