Duck Tｙping

静的な型付けをしなくても　安全？
　開発方法が　短いメソッド　コーディング＋並行テスト　でカバーできる？
　静的な型システムでも　セキュリティは向上していない
　型安全性は　幻想？

言語に理論モデルを持つものと　そうではないものがある．プラグマティクな人は　創るものが重要で
現実的な対応で　よいのは　理解できるが
　理論モデル屋から見ると　正当性が　保証されない言語を　安全とは　いえない

工学屋は　どっちつかずなのだが．