Connect with us

Видео и подкасты для разработчиков

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

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

Опубликовано

/

     
     

Этот вопрос, а также многие другие, связанные с типами в программировании, мы обсудили с Денисом Редозубовым, техническим директором typeable.io и продакшен-хаскеллистом с большим стажем.

Если вы нашли опечатку - выделите ее и нажмите Ctrl + Enter! Для связи с нами вы можете использовать info@apptractor.ru.

Наши партнеры:

LEGALBET

Мобильные приложения для ставок на спорт
Хорошие новости

Telegram

Популярное

Сообщить об опечатке

Текст, который будет отправлен нашим редакторам: