ちょうどさっきAda/SPARKで遊んだからこその結論かも><;

フォロー

動的型付けって不要ではって話で、Geminiは「究極の安全性要件」("宇宙船の制御システムや医療機器など、絶対に失敗が許されないシステムにおいて")は、実行時にもバリデーションするじゃん」って話をしてきたけど、「実行時のバリデーションは動的型付けと関係ないだろ>< むしろバリデーションの必要な範囲を実行前に検出するのも静的型検査だろ><」って説明するのにAda/SPARKを使った><

ログインして会話に参加
:realtek:

思考の /dev/null