Тренинг «Введение в библиотеку Shapeless и программирование на уровне типов на языке Scala» (подія в архіві)

Ориентировочный список тем тренинга:

• Dependent types
• Type-level programming
• Singleton types, literal types
• Refined types
• Path-dependent types
• Implicits
• Type classes
• Aux pattern
• Polymorphic functions
• Heterogeneous lists
• Coproducts
• Phantom types
• Records, discriminated unions
• Natural numbers
• Statically sized collections
• Deriving type classes
• Real-world applications of dependent types, type-level programming, and Shapeless
• New features in Scala 2.13, Dotty (Scala 3) and Shapeless 3

Регистрация на тренинг: forms.gle/bDdBxK7GDsaNr5m16

Shapeless — известная библиотека для обобщенного программирования, программирования на уровне типов, программирования с зависимыми типами на языке Scala, часто применяемая в проектах на Scala, использующих парадигмы функционального программирования и метапрограммирования.

Тренинг проводит Дмитрий Митин, в топ-3 по Shapeless и Scala-макросам на Stackoverflow, контрибьютор в Shapeless, мейнтейнер библиотеки для метапрограммирования AUXify, автор массового открытого онлайн-курса «Introduction to programming with dependent types in Scala» (более 3000 участников, курс — призер в конкурсе платформы Степик). Преподавал математику в Киевском университете более 10 лет, организатор международных математических олимпиад для школьников и студентов (руководитель команд, координатор, председатель жюри), Scala-разработчик, compiler engineer.

Участники тренинга получат: доступ в Slack-чат тренинга, слайды презентаций, примеры кода, практику по написанию кода на онлайн-платформе с авто-проверкой.

Тренинг рассчитан на участников, желающих ознакомиться с основами type-level programming на Scala и Shapeless, но уже знакомых с языком Scala и элементами функционального программирования.

Контакты

www.facebook.com/events/258355345150902
www.facebook.com/groups/scala.training
[email protected]