D programming language has native support of class invariants, as well as other contract programming techniques.
Язык программирования D имеет встроенную поддержку инвариантов класса, а также другие методы программирования контрактов.