www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - D mentioned in "INTRODUCTION TO CONTRACT PROGRAMMING" blog post

https://www.hillelwayne.com/post/contracts/

proggit discussion:

https://www.reddit.com/r/programming/comments/7fxz1v/introduction_to_contract_programming/
Dec 04 2017