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