The design of ATS helps the programmer to create code without memory leaks. Still, there are a few ways to create leaky code.
- Using unsafe features in ATS
- Using C code or other non-ATS code that is not memory-safe
- Propagating exceptions, as noticed in Exceptions and linear values
Here are some strategies for creating memory-safe code in ATS.
Fill me in!