Sign Up Sign in
📌 Очень жаль, что всем известный персонаж решил начать войну. Мы молимся за Украину и за мир!
Дмитрий Сошников logo

Дмитрий Сошников

Дмитрий Сошников - инженер-программист, читает лекции по различным темам информатики. Он увлечен образованием и уделяет особое внимание высококачественному образовательному контенту: кратким и понятным анимированным лекциям с заметками в реальном времени.
80 -2

Курсы от Дмитрий Сошников

Typechecker (типизатор) с нуля logo

Typechecker (типизатор) с нуля

Building a Typechecker from scratch
Нетипизированные программы часто подвержены ошибкам, исключениям времени выполнения и могут затруднить процесс отладки. Именно поэтому многие языки программирования в производственной среде реализуют статический типизатор - дополнительный модуль, цель которого - повысить безопасность программ и упростить разработку.Проверка типов или вывод типов? Что такое теория типов и типовые суждения? Слабо или сильно типизированный мой язык? И как мне на сам
2 ч 16 мин 15 сек
English
Премиум