単純に「クラッシュしない」ことだけではなく、「許可ないし定義されていない操作は実行されない」ことが重要なのです。抽象型とか線形型とか情報流型とか、と我田引水。もし本当にすべて型理論で保証したかったら、Coqとかの依存型で証明（＝プログラム）と…

某駐車場の前にしばしばというか、ほぼ常にバイクや原付がとめてあって、この間など僕のスーパー車長感覚により外輪差でちょっと（一部自粛）して研磨剤で（中略）するはめになったのですが、事務から「非常に迷惑しているという苦情があるので駐輪するな」…