Podlodka #97 – Системы типов
На первый взгляд может показаться, что типы в программировании – это просто и понятно. Во множестве случаев это действительно так. Но что, если копнуть глубже? Можно ли добиться высокого уровня корректности и безопасности кода за счет типов еще на этапе компиляции? Этот вопрос, а также многие другие, связанные с типами в программировании, мы обсудили с Денисом Редозубовым, техническим директором
typeable.io и продакшен-хаскеллистом с большим стажем.
Содержание и ссылки:
http://podlodka.tilda.ws/97Soundcloud:
https://bit.ly/2StDGC8iTunes:
https://apple.co/2MLT3kf