比較的安全という「希望的推測ができる」だけで、実際にはC/C++と全く変わらないｗ
前にも言ったけど、ミニマムなunsafe領域を含む「設計意図としてのunsafe」が示せるだけｗ