Introduction into functional dependency injection with Reader monad.
-
Updated
Feb 18, 2023 - Scala
Introduction into functional dependency injection with Reader monad.
Introduction to tagless final with cats and to http4s middleware.
Introduction into functional programming free structures: free monads, free monoids, free applicatives.
Introduction to Spark Batch processing.
Short introduction into BFS, DFS and A* algorithms with case-studies.
Introduction into fs2, newtype and refined types.
Introduction to pure functional programming using effects with zio, http4s, fs2 and doobie.
Introduction to streaming using zio (ZStream).
Functor, Monoid, Monads in practice.
Introduction to sbt basics (multimodule setup, plugins, compiler plugins), testcontainers and shared resources in tests.
Introduction into pkcs11 and integrations with hsm using softhsm.
Introduction to Scala and functional programming collections: list, stream and tree.
Introduction to akka in scala: http & actors.
Scala - introduction to partially applied types based on zio example.
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
Introduction to scala implicit systems with examples.
Introduction to fibers (green thread model) based on ZIO approach.
Basics of elliptic curves, EC over finite fields and ECDSA.
Introduction to typed akka actors.
Add a description, image, and links to the workshop-materials topic page so that developers can more easily learn about it.
To associate your repository with the workshop-materials topic, visit your repo's landing page and select "manage topics."