Design-by-Contract는 동적 언어에 쉽게 적용 할 수 있습니까?

Question

제목이 요점을 요약합니다.

가난하게 진단되지 않은 실패의 중대한 위험을 실행하지 않고 동적 언어를 사용할 때 계약 시행을 활성화/비활성화 할 수 있는지 여부에 관심이 있으십니까?

그렇다면 핵심은 DbC의 시행 규칙에 따라 제거/제거가 가능하기보다는 구성 요소의 논리에서 필수적인 부분이라고 생각됩니다.

Answer 1

실제 구현이 가능할뿐만 아니라 수 년 동안 사용되어 왔습니다. 예를 들어, 12 세가되는 DbC implementation, 즉 파이는입니다.

Answer 2

나는 lisp이 계약 프레임 워크에 의해 좋은 디자인을 가지고 있다고 믿는다. 그것은 전체 DBC를 지원 나던처럼

http://www.cl-user.net/asp/OkD82/sdataQkIGW7mlSHARDQ3r-H8X8yBX8yBXnMq=/sdataQu3F 추상부터 $ sSHnB의 ==