Advanced Scala Training

Generics and Variance

Use parametric types correctly.

• › Type parameters and bounds
• › Covariance and contravariance
• › Existential and wildcard types
• › Opaque types

Union, Intersection and Match Types

Apply Scala 3's newer type features.

• › Union and intersection types
• › Enums and GADT-style encodings
• › Match types
• › Dependent function types

Type Classes

Design ad-hoc polymorphism.

• › Type class pattern
• › given, using and context bounds
• › Extension methods
• › Type class derivation overview

Implicits in Scala 2

Understand legacy and library code.

• › Implicit parameters and conversions
• › Implicit scope and resolution
• › Common pitfalls
• › Migrating to Scala 3

Functors, Applicatives and Monads

Learn the core abstractions.

• › Functor and Monad laws
• › Applicative and Traverse
• › Monoids and Semigroups
• › Using Cats type classes

Practical Cats

Use the library effectively.

• › Validated for error accumulation
• › State, Reader and Writer
• › Monad transformers (OptionT, EitherT)
• › Kleisli

Effect Systems

Write pure, concurrent programs.

• › IO and ZIO basics
• › Fibers and concurrency
• › Resource management
• › Error handling in effects

Streaming and Applications

Build real services.

• › fs2 / ZStream introduction
• › HTTP services with http4s or ZIO HTTP
• › Configuration and testing effects
• › Observability basics

Inline and Metaprogramming

See what the compiler can do for you.

• › Inline methods and constants
• › Compile-time operations
• › Quotes and splices overview
• › When to avoid macros

Capstone

Apply advanced patterns in a realistic service.

• › Design with type classes and effects
• › Implementation and testing
• › Code review
• › Next steps and ecosystem