Исправление SZT, 26.12.19 02:45 (текущая версия) :
А зачем - всё просто - это контр-пример твоему тезису.
Каким образом? Это ж надстройка над самой мощной системой типов Си. Никакого контрпримера не вижу
Исходная версия SZT, 26.12.19 02:45: