Training in Shapeless in Kyiv (offline) by Dmytro Mitin | DevsDay.ru

Training in Shapeless in Kyiv (offline) by Dmytro Mitin

Kyiv Scala Group

Зарегистрироваться на событие




Training into Shapeless in Kyiv (offline) by Dmytro Mitin.

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

For more info see:
https://www.facebook.com/events/201770184407910/

Registration: https://forms.gle/E3wmSkLeqjBYtEN96


Организатор: Kyiv Scala Group

A community of passionate Scala/FP devs that are interested in improving their craft, share their experience and discuss ways to tackle hard problems in functional programming, distributed systems, real time streams, big data by using Scala, Akka, Akka-Streams, Spark etc.

The goal of the group is to organize meetups on a regular basis.

For live discussions join us on telegram - to get a join link please pm me

Зарегистрироваться на событие


События в IT

Тэги

training itevents тренинг обучение

Training into Shapeless in Kyiv (offline) by Dmytro Mitin. Topics included:Dependent typesType-level programmingCompile-time calculationsSingleton types, literal typesRefined typesPath-dependent typesImplicitsType classesAux patternPolymorphic functions (with practice)Heterogeneous lists (with practice)Coproducts (with practice)Phantom typesRecords, discriminated unions (with practice)Statically sized collectionsDeriving type classes (with practice)Real-world applications of dependent types, type-level programming, and ShapelessNew features in Scala 2.13, Dotty (Scala 3) and Shapeless 3 For more info see:https://www.facebook.com/events/201770184407910/ Registration: https://forms.gle/E3wmSkLeqjBYtEN96 Организатор: Kyiv Scala Group A community of passionate Scala/FP devs that are interested in improving their craft, share their experience and discuss ways to tackle hard problems in functional programming, distributed systems, real time streams, big data by using Scala, Akka, Akka-Streams, Spark etc. The goal of the group is to organize meetups on a regular basis. For live discussions join us on telegram - to get a join link please pm me
2020-03-28T00:00:00.0000000
2020-03-28T00:00:00.0000000
Training in Shapeless in Kyiv (offline) by Dmytro Mitin
Kyiv Scala Group
?.Trim()
Training in Shapeless in Kyiv (offline) by Dmytro Mitin
, .