Два Ивана остаются под впечатлением от 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 ) Формализация натуральных чисел

Ссылки:

• https://blog.edward-li.com/tech/comparing-pyrefly-vs-ty/