Столкновение типов: когда сталкиваются структурные и номинальные системы (авторы: Маттео Орланди ... скачать в хорошем качестве

Столкновение типов: когда сталкиваются структурные и номинальные системы (авторы: Маттео Орланди ...

Системы типов определяют, как мы рассуждаем о коде, обеспечиваем безопасность и управляем сложностью, — но не все системы типов подходят к этим целям одинаково. В этом докладе я противопоставлю структурную типизацию, как в TypeScript, номинальной типизации, как в Kotlin, в практическом исследовании реальных сценариев. Вы увидите примеры того, как каждая система обрабатывает взаимодействие, композицию и эволюцию кода, показывая, где явные идентификаторы обеспечивают дисциплину, а типизация на основе форм открывает гибкость и выразительность. К концу вы поймете сильные и слабые стороны каждого подхода — и почему во многих ситуациях структурная типизация дает вам неожиданное преимущество.