I absolutely love D’s contracts with pre and postconditions. These I can simulate in other languages however. The invariant is where D really shines imo. Also the fact that you can overwrite the r value constructor, move constructor and cooy constructor are great ideas and the static function support is also good!