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