Ep. 18: Тёмные стороны Go — с разработчиком GoLand

Обсуждаем проблемные места Go с Арсением Тереховым — разработчиком из команды GoLand в JetBrains. Арсений смотрит на Go с необычного угла: он из мира Kotlin, но при этом погружён в Go глубже многих гоферов благодаря работе над GoLand.

Что обсуждаем:

— Nil safety в Go: почему это проблема и как с ней жить

— Слайсы: append выглядит иммутабельно, но мутирует данные

— Замыкания и горутины: классические баги с захватом переменных

— Shadowing переменных: визуально не отличить, но приводит к багам

— Data races при чтении слайсов

Выпуск вышел при поддержке AvitoTech 💙

Статья про обработку ошибок в Go: https://clc.to/U7_U_w

Telegram AvitoTech: https://clc.to/-HtbVg

Митапы: https://clc.to/vbUbyg

Состав:

- Николай Тузов

- Арсений Терехов — JetBrains, GoLand Team

- Глеб Яльчик

- Дмтрий Матрёничев

👾 Мой Телеграм-Канал с анонсами, гайдами и др.: https://t.me/ntuzov

Тайминги:

• 00:00 Вступление
• 00:27 Предыстория: вопросы от Арсения
• 02:00 Хорошая новость: новые выпуски теперь будут выходить регулярно
• 03:24 Gophercon West — как это было: 25 часов перелёта и визовый лайфхак
• 06:00 Футболки с конференций и брендинг
• 08:40 Тема #1: Nil safety — старт обсуждения
• 09:57 История: Тони Хоар, Algol и billion dollar mistake
• 11:41 Реальные кейсы: $100k loss и падение Google Cloud
• 14:52 Взгляд на проблему с экономической точки зрения
• 17:13 Nil как валидное значение указателя
• 20:05 История указателей: от ассемблера до высокоуровневых языков
• 25:04 Создатели Go: Rob Pike, Russ Cox, Ken Thompson
• 27:45 Дизайн языка — в чём идея?
• 29:33 Go пофиксил проблемы C/C++?
• 32:03 Философия Go: проверенные решения, а не новации
• 36:23 Семантика указателей в Go: nil-receiver как валидное состояние
• 39:11 Возможен nil safety с учётом рефлексии?
• 42:14 Привет бабушке!
• 42:44 Безопасен ли Go без unsafe/reflect?
• 48:34 Kotlin vs Java: где действительно есть null safety
• 51:07 Ограничения null safety: Spring, рефлексия, interop
• 53:00 Safe enough vs абсолютная безопасность
• 55:38 Итоги по nil pointer
• 59:00 Тема #2: Захват переменных — классический баг с циклами
• 01:02:28 Обратная совместимость: почему сложно что-то менять
• 01:05:23 Революция в тулинге языков программирования
• 01:07:51 Final в Java/Kotlin и почему этого нет в Go
• 01:13:11 Захват переменных в C++: явный синтаксис
• 01:16:01 Когда нужна запись в захваченные переменные
• 01:19:27 Каналы в Go: гарантии и практические сложности
• 01:25:21 Роль линтеров — go vet, staticcheck, golangci-lint
• 01:26:07 Тулинг: data-flow анализ, детектор гонок
• 01:29:21 Почему линтеры простые: философия дизайна
• 01:31:57 Тема #3: Слайсы — самая болезненная тема
• 01:32:23 Загадка про 8 слайсов и capacity
• 01:37:36 Проблемы дизайна слайсов в Go и почему так
• 01:40:15 Как работает append и реаллокация
• 01:47:03 Почему append возвращает значение?
• 01:56:52 Эволюция через тулинг: x/tools/modernize и автопочинка
• 02:00:17 Data races при конкурентном append
• 02:03:53 Тема #4: Shadowing переменных
• 02:09:54 Удобство vs однозначность кода
• 02:13:11 Философия дизайна языков и их эволюция
• 02:17:00 Выводы
• 02:22:03 Каждый новый язык лучше?
• 02:29:07 Относительность решений в программировании
• 02:33:59 Теорема Гёделя о неполноте
• 02:34:53 Аналогия с Nintendo: простота как фича
• 02:36:33 Аналогия с физикой: разные модели для разных масштабов
• 02:37:25 Заключение