Исходное сообщение
"Instagram открыл код MonkeyType, системы аннотации типов для..." Отправлено Онаним, 23-Дек-17 00:11
C/C++ - слабо-типизированные языки, позволяющие и провоцирующие написание ненадёжного кода и постоянно играющие злые шутки с теми, кто думает, что знает и умеет их. На C/C++ практически невозможно написать программу без багов, 100% точно описывающую какую-бы то ни было формальную задачу. Тем, кому не нравится динамическая типизация и кто ищет в строгой типизации и у компилятора помощи в защите от багов наиболее логично переходить на Haskell, а никак не на C/C++.