Regional memory pointers
Why do you think that https://github.com/basvandijk/safer-file-handles is a good alternative to regional-pointers
Regional memory pointers
Why do you think that https://github.com/basvandijk/safer-file-handles is a good alternative to regional-pointers