Back

Secure By Designの言う「型に値の正しさを担保させる責任を持たせる」という自称防御的プログラミングがなぜ悪いかというと「外から渡されてきたから注意して扱うべき変数」と「既に確認済みなので二度と安全性を確認しなくて良い変数」の境が無くなり鍵をかけたトイレの中でパンツを下ろせなくなる。