Scala Typelevel - Cats

Ziele

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

Dieser Kurs basiert hauptsächlich auf die Kategorien und ihre Instanzen. Dabei haben wir immer die zentralen schlichten Eigenschaften im Blick: Immutability, Referential Transparency und die Vermeidung von Seiteneffekten.

Am Ende des Seminars verstehen die Teilnehmer/innen die Cats-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

Kenntnis der Inhalte des Kurses "Scala Language - Basics II" oder gleichwertige Kenntnisse. Empfohlen sind auch die Inhalte des Kurses "Scala Language - Functional Programming". Die Kenntnis von Typklassen und die Scala-Funktionen werden vorausgesetzt.

Agenda

• Immutability and Referential Transparency
• Recap on Functions
• Recap on Type Classes
• Type Class Show
• Type Class Eq
• Type Class Semigroup
• Type Class Monoid
• Higher Kinded Types
• Type Class Functor
• Type Class Applicative
• Type Class Monad
  • Kleisli and Reader Monad
  • State Monad
• Type Classes ApplicativeError and MonadError
• Either and Validated
• Type Class Parallel
• Type Class Foldable
• Type Class Traverse