Два Ивана остаются под впечатлением от PiterPy и продолжают разговор про инструменты экосистемы Python
Jul 21, 2025
Два Ивана остаются под впечатлением от PiterPy и продолжают разговор про инструменты экосистемы Python. В этот раз обсудили различные аспекты типизации в Python, сравнили с TypeScript и поговорили про новые инструменты, которые могут повлиять на типизацию в будущем. Ещё вспомнили про JetBrains и, конечно же, про LLM. Не обошлось и без зубодробительной теории категорий.
Островок приглашает вас на travel-tech хакатон! Присоединяйтесь, чтобы воплотить свои идеи, прокачать навыки и попробовать силы в захватывающем техническом марафоне. Все подробности на сайте О! Хакатона.
Ссылки
Таймкоды
00:00:00
Вступление
00:01:03
Типизация в Python и её развитие
00:05:49
Сравнение с TypeScript и подходы к типизации
00:10:46
Проблемы и перспективы типизации в Python
00:14:05
Проблемы с типизацией в Python
00:17:03
Сравнение инструментов типизации
00:19:40
Новые протоколы и их влияние
00:22:25
Будущее инструментов типизации
00:23:56
Конкуренция между IDE и LSP
00:26:58
Инновации в типизации с использованием LLM
00:28:31
Шутки и проблемы в программировании
00:29:28
Типизация и проектирование систем типов
00:33:17
Состояния и классы в программировании
00:36:11
Математика и теория категорий
00:39:07
Формализация натуральных чисел