On Wed, 26 Mar 2014 10:36:45 -0400, Kagamin <s...@here.lot> wrote:
On Tuesday, 25 March 2014 at 23:30:28 UTC, Artur Skawina wrote:
It's ok to treat allocator and factory functions as pure, because those
really
are logically pure, ie can't affect any /visible/ state and return
results that
are unique.
Allocators don't return unique results, GC being the primary example.
I think you misunderstand. The result is uniquely referenced, meaning no
other pointers to the data are present (except the all-seeing heap).
Multiple calls to the allocator may return different results, and each
result is uniquely referenced.
-Steve
