> Zig language shows that it is possible to provide a simple way to write both memory safe or unsafe code.

Zig is a kind of language that wouldn't have been written if its author discovered ATS[1] at a right time.

[1]: http://www.ats-lang.org