
Видео еще не доступны, но по многочисленным слайдам понятно, какие темы в Фукуоке были ключевыми. Обзор приоритетов core team — в докладе Ruby 3 Progress Report.
http://amp.gs/Ratx
Самое обсуждаемое — статический анализ кода и опциональная типизация. Ruby 3 будет содержать аннотации, вопрос только в том, какая реализация станет самой популярной у разработчиков. Узнать больше можно из этих трех докладов:
— Юсуке Эндо из cookpad работает над автоматическим Type Profiler для анализа неаннотированного кода: http://amp.gs/Ratf
— Соутаро Мацумото работает над steep, который позволяет прописывать типы в отдельных .rbi файлах. Вот его доклад о главных вызовах типизации в Ruby: duck typing, метапрограммирование и прочее. http://amp.gs/RatC
— Инженеры из Stripe продолжают в полу-закрытом режиме работать над Sorbet, который позволяет добавлять сигнатуры прямо к определениям методов и выглядит это более «молодежно», чем rbi: http://amp.gs/Ratk
За Sorbet помимо Stripe стоят Shopify, GitLab и Coinbase, то есть хайп и «момент» практически гарантированы. Выложить проект в открытый доступ обещают этим летом. Регистрация для закрытого доступа доступна сейчас.
Конечно, разговоры о типизации в Ruby ведутся не из надежды нарастить производительность, а из желания улучшить поддерживаемость и надежность больших кодовых баз. Статические проверки позволят уменьшить количество ошибок в рантайме, улучшить работу в продвинутых редакторах и IDE и сделать более ясным онбординг новых инженеров.
Попытаться узнать, что об этом думает сам Matz, можно, посмотрев это видео: http://amp.gs/Rate — это не RubyKaigi, а доклад во время предыдущей остановки в его «турне», но марсианские агенты в Фукуоке подтверждают, что отличий между выступлениями почти не было.










