В 2019 г. у меня состоялось шапочное знакомство в Eiffel - язык,
который искаропки умеет в Си исходники транслировать. Исходники генерирует на Си(не
С++), но сам язык умеет полиморфизм и множественное наследование и
контрактное программирование. А вспомнил я его потому что контракты
могугут проверяться с разной настраиваемой степенью паранойи.