Ada自体は目的が目的なのでGCは無いけど、やってる事を考えたらほぼ同じ技術でGCありの環境の言語でGCに任せたつもりでリソースリークとかそういうのも静的検査で発見できそうな気がするんだけど・・・＞＜