On 2025-11-10 04:53, Ray steven wrote:
it might still be a good idea to explicitly close the file once it’s no longer in use.
Generally speaking we don't bother with explicit deallocation of resources if not needed to avoid resource exhaustion. Such deallocation complicates maintenance and slows down execution a bit, and in practice these disadvantages outweigh the advantages of deallocation.
