D

A fast systems programming language with native Design by Contract support