One thing I did when trying to come up with a "What features of language X help safety" article for ATS was to work through a simple example from unsafe, to saf

One thing I did when trying to come up with a "What features of language X help safety" article for ATS was to work through a simple example from unsafe, to safer, to safe. This is one such article I did: http://bluishcoder.co.nz/2012/08/30/safer-handling-of-c-memory-in-ats.html http://bluishcoder.co.nz/2012/08/30/safer-handling-of-c-memo... I think something similar for Rust would make for a great article subject too.