1
タイトルはかなり要点を要約しています。契約は、静的型のものと同様に、動的言語にも容易に適用できますか？
不十分/未診断の重大な障害を起こさずに動的言語を使用する場合、契約強制を有効または無効にすることが可能かどうかについて興味がありますか？
もしそうでなければ、DbCの強制力の除去可能性の精神に従い、オプション/リムーバブルではなく、コンポーネントのロジックの必須部分であると私には思えます。
A
答えて
3
これは実際に実装されているばかりでなく、長年にわたって使用されています。 Python用のDbC implementationは、例えば12歳のです。
2
私はlispが契約フレームワークによって良い設計をしていると信じています。
http://www.cl-user.net/asp/OkD82/sdataQkIGW7mlSHARDQ3r-H8X8yBX8yBXnMq=/sdataQu3F $ sSHnBの==
関連する問題
- 1. 静的にも動的にも使用できるTypescript変数
- 2. 変数型は静的型言語で永続的ですか？
- 3. 静的型付き言語のライフサイクルメソッド
- 4. iOS上でPDFを静的にも動的にもきれいに描画できますか？
- 5. 自動的に行うことにはどの言語が最適ですか？
- 6. データ構造の設計は静的型の言語です
- 7. 静的型言語は異種リストをサポートできますか？ Pythonで
- 8. Parrot VMと静的言語
- 9. .NETの静的言語と静的言語の構築の違いは何ですか？
- 10. プライベートAND静的AND継承された変数!?または同様のもの
- 11. Java FX：宣言的なものと手続き的なもの
- 12. 静的型付き言語で型の宣言が重要なのはなぜですか？
- 13. 静的メンバーのC＃に「this」と同等のものがありますか？
- 14. Cの静的変数に "this"と同等のものがありますか？
- 15. 他の言語の静的変数と同等のPHPは何ですか？
- 16. クラスと同じデータ型のクラスで、どのようにして静的メンバーを宣言できますか？
- 17. 静的にリンクされたアプリケーションもいくつかの動的ライブラリにリンクできますか？
- 18. 静的フィールドと型推論の制約
- 19. 高速で埋め込みが容易で、ハイレベルのゲームプログラミングに適したスクリプト言語はありますか？
- 20. 静的なコンテキストから非静的メソッドを参照することはできませんが、静的なものは何もありません。
- 21. システムコールはC言語以外の言語でも利用できますか？
- 22. 静的なmutexで静的なlock_guardもありますか？
- 23. 静的オブジェクトは静的であると定義されていても、非静的フィールドにどのようにアクセスできますか？
- 24. ASP.NETは本質的に他の言語よりも安全ですか？
- 25. （主に）静的言語コンパイルのためのDLRの使用
- 26. LibShortTextも他の言語でも動作しますか？
- 27. C＃.NETの一般的なリストと同様のもの
- 28. 静的クラスはどこでも使用できません
- 29. コード契約静的チェッカーは一見Contract.EnsuresのReadOnlyCollection <T>コンストラクタ
- 30. 静的プロパティオブザーバーいつものように
がいっぱいのDbCをサポートdoes notのように見える抽象的、から。おそらく、それは "古い"値をサポートしていないでしょうか？ –