Introduction into functional dependency injection with Reader monad.

Introduction into functional programming free structures: free monads, free monoids, free applicatives.

Introduction to tagless final with cats and to http4s middleware.

Introduction to pure functional programming using effects with zio, http4s, fs2 and doobie.

Introduction into fs2, newtype and refined types.

Introduction to GraphQL using pure functional approach: Scala, Caliban and ZIO.

Basics of elliptic curves, EC over finite fields and ECDSA.

Introduction to typed akka actors.

Introduction to fibers (green thread model) based on ZIO approach.

Source code of 'Category Theory in Functional Programming' workshops

Introduction to scala implicit systems with examples.

Introduction to Optics (Lenses, Prisms etc) in Scala.

Introduction to proto-buffers and gRPC based on ZIO approach.

Example of command line application using scopt.

Introduction to Scala and functional programming collections: list, stream and tree.