Podlodka #97 – Системы типов

На первый взгляд может показаться, что типы в программировании – это просто и понятно. Во многих случаях это действительно так. Но что, если копнуть глубже? Можно ли добиться высокого уровня корректности и безопасности к…