1

タイトルは要点をほぼ要約しています。

動的言語を使用するときに、不十分な/診断されていない障害の重大なリスクを冒すことなく、契約の強制を有効/無効にすることができるかどうかに興味がありますか?

そうでない場合、(私には) 要点は、DbC の強制の取り外し可能性の精神に従って、任意の/取り外し可能なものではなく、強制がコンポーネントのロジックの必須部分であるということです。

4

2 に答える 2

3

それが可能であるだけでなく、これが実際に実装されており、何年も前から存在しています。たとえば、12 年前の Python 用のDbC 実装を次に示します。

于 2009-03-16T02:07:11.607 に答える
2

Lisp は、コントラクト フレームワークによる優れた設計を備えていると思います。

http://www.cl-user.net/asp/OkD82/sdataQkIGW7mlSHARDQ3r-H8X8yBX8yBXnMq=/sdataQu3F $sSHnB==

于 2009-03-17T15:27:19.103 に答える