Антон Кильчик – Дженерики, которые мы заслужили

Transcript

1. Дженерики, которые мы заслужили Антон Кильчик
3. Нужны ли дженерики в Go Дилемма дженериков Драфт Эволюция контрактов Итого На повестке
4. Нужны ли дженерики в Go? Нужны! 4 Обобщенные алгоритмы
   Найти наибольшее значение в слайсе
   Найти кратчайший путь в графе Функции высшего порядка
   map
   reduce
   filter
5. Нужны ли дженерики Go? Нужны! 5 Задачи, связанные с организацией конкуррентности
   Вызвать множество функций параллельно и получить список результатов
   Читать из канала до таймаута Обобщенные структуры данных
   Sets
   Trees
   Потокобезопасные структуры данных
6. Нужны ли дженерики в Go? Не нужны! 6
7. Нужны ли дженерики в Go Дилемма дженериков Драфт Эволюция контрактов Итого На повестке
8. Дилемма 8
9. Путь Go 1. Копипаст 9 Недостатки
   Не DRY
   Долго
   Способствует ошибкам
10. Путь Go 1. Интерфейсы 10 Недостатки
    Доп память
    Медленно
    Пачка методов для каждого типа
11. Путь Go 1. Type assertions 11 Недостатки
    Медленно
    Нет проверок типов
    Кастование делает пользователь
12. Путь Go 1. Кодогенерация 12 cat source.go | genny gen "Something=string" Недостатки
    Доп шаг при сборке
13. Дилемма 13
14. 14 Путь C++. Мономорфизация
15. Путь C++. Мономорфизация 15 Плюсы:
    Не сказываются на производительности Минусы:
    Медленная компиляция
    Увеличение бинарника
16. Дилемма 16
17. Путь Java. Type erasure 17
18. Путь Java. Type erasure 18 Плюсы:
    Одна версия для всех типов Минусы:
    Приведение типов сказывается на производительности
19. Путь Go 2. Ограничения 19
    Минимум новых ключевых слов
    Добавление дженериков не должно добавлять сложности пользователю
    И быстрая компиляция и быстрый рантайм
    Go должен оставаться Go
    Информация о типах и в рантайме и при компиляции
20. Нужны ли дженерики в Go Дилемма дженериков Драфт Эволюция контрактов Итого На повестке
21. Драфт. Синтаксиc 21 Generic-функция Generic-тип
22. Драфт. Внутри 22 В отличие от C++ :
    Есть концепция контрактов
    Есть type inference
    Нет специализаций
    Нет возможности метапрограммирования
    Нет variadic templates
    Из функций будет генериться одна версия для всех типов В отличие от Java :
    Нет type erasure
    Нет covariance / contravariance
    Из типов будут генериться несколько версий для каждого типа
23. Дилемма 23
24. Нужны ли дженерики в Go Дилемма дженериков Драфт Эволюция контрактов Итого На повестке
25. Эволюция контрактов. Что такое контракт 25 Без контракта можно
    Объявлять переменные обобщенного типа
    Присваивать им значения того же типа
    Передавать их в функции или возвращать из функций
    Брать адрес
    Создавать слайсы/мапы
26. Эволюция контрактов. Драфт от июня 2010 26
27. Эволюция контрактов. Драфт от 27 августа 2018 27
28. Эволюция контрактов. Драфт от 31 июля 2019 (крайний) 28
    Перечисление типов
29. Эволюция контрактов. Драфт от 31 июля 2019 (крайний) 29
    Перечисление методов
30. Итого. Когда можно пощупать 30
    Прямо сейчас можно наблюдать за имплементацией (https://go- review.googlesource.com/c/go/+/187317)
    Возможно завезут в Go 1.15, работа над которым начнется в ноябре
31. Итого. Достоинства и недостатки 31 Достоинства
    Вывод типов
    Всего 1 новый keyword
    Попытка вобрать лучшее из Java и C++
    Контракты интуитивны
    Возможность появления пакетов slices, maps, chans, set
32. Итого. Достоинства и недостатки 32 Недостатки
    Обилие скобочек
    Усложнение языка
    Все еще нельзя пощупать
33. Ссылки 33
    Summary of Go Generics Discussions
    Статья, посвященная последней версии драфта
    https://go.googlesource.com/proposal/+/master/design/go2draft-generics- overview.md
    Имплементация поддержки контрактов (в процессе)
34. Спасибо