ダングリングポインタ、多重解放、未初期化などに気を遣わないで済む安全な次世代プログラミング言語。