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.