On Monday, 29 September 2014 at 11:37:00 UTC, eles wrote:
On Monday, 29 September 2014 at 10:49:53 UTC, Andrei
Alexandrescu wrote:
entirely distinct topic
Finally!
Sorry, enthusiasm. I really think this is the key for doing the
management of all resources in the right way. For me, the memory
should be seen as a resource that simply happens to have the
possibility of being manageable in a more flexible way and with
specific constraints.
For example, with respect to other kind of resources, you could
use a lazy approach to deallocate memory, as unlike many other
resources memory is like money: is fungible [1]. Other resources
are not. OTOH, the memory comes with some of its own quirks, such
as the cycles (these could be, in theory, possible for other kind
of resources, but are exceptions).
Memory management is not necessarily deterministic neither. Other
resources might require determinism, however.
[1] http://en.wikipedia.org/wiki/Fungibility
