EPISODE · Jul 21, 2025 · 41 MIN
Два Ивана №40 Тайпчекеры #дваивана
from Два Ивана (название обсуждается)
Два Ивана остаются под впечатлением от 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/
What this episode covers
Два Ивана остаются под впечатлением от 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/
NOW PLAYING
Два Ивана №40 Тайпчекеры #дваивана
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.