型安全、メモリ管理、実装依存