A sufficiently expressive language enables the library author to constrain its usage to prevent bugs. This is why sufficiently modern C++ programs have no memo

A sufficiently expressive language enables the library author to constrain its usage to prevent bugs. This is why sufficiently modern C++ programs have no memory usage errors. It would be extra work to code them.