Scala Typelevel - cats-effect

Ziele

Cats und cats-effect bilden die Basics für ein ganzes Ökosystem von Bibliotheken zur funktionalen Programmierung in Scala - das Typelevel-Ökosystem. Cats definiert abstrakte Arten als Typklassen (Semigroup, Monoid, Functor, Monad, Traverse und viele weitere) sowie Instanzen dieser Kategorien. cats- effect implementiert die IO-Monade, mit der Seiteneffekte funktional beschrieben werden können (ohne sie
auszuführen).

Diese Schulung fokussiert auf die IO-Monade und die Kapselung von Seiteneffekten. Dabei haben wir immer die zentralen funktionalen Eigenschaften im Blick: Immutability, Referential Transparency und die Vermeidung von Seiteneffekten.

Am Ende des Seminars verstehen die Teilnehmer/innen die Cats-Effect-Bibliothek und wissen Sie sinnvoll einzusetzen.

Zielgruppe

Software-Entwickler/innen mit soliden Scala-Kenntnissen, die die funktionale Programierung mit dem Typelevel-Ökosystem erlernen wollen

Voraussetzungen

Kenntnisse der Inhalte des Kurses "Scala Typelevel - Cats" oder gleichwertige Kenntnisse

Agenda

• • Immutability and Referential Transparency
• • cats.effect.IO
• • cats.effect.IOApp
• • IO is a Monad
• • IO constructors
• • IO combinators
• • Error Handling
• • Cancellation
• • Resource Safety
• • Fibers and Thread Pools
• • Semantic Blocking
• • CE3 Type Classes
• • Concurrency and Parallelism
• • Concurrency Primitives
  • o Ref
  • o Deferred
  • o Count Down Latch
  • o Semaphore
  • o Queue
• • Testing with MUnit
• • CE2 and CE3