Scala for Backend Engineering & Functional Programming · Урок

Классы типов Cats

Functor, Monad и другие

«Классы типов Cats» — бесплатный урок Scala for Backend Engineering & Functional Programming на CoddyKit. Это урок 1 из 4. Ты можешь прочитать весь урок бесплатно ниже — а потом практиковать его прямо в браузере с встроенным редактором кода и ИИ-репетитором 24/7. Это часть пути обучения Scala for Backend Engineering & Functional Programming, и твой прогресс синхронизируется между веб-версией и приложением CoddyKit. Курс Scala for Backend Engineering & Functional Programming содержит 4 уроков всего.

Что такое классы типов?

Класс типов — это шаблон для специального полиморфизма. Он позволяет добавить поведение типу, не изменяя сам тип. Cats — библиотека Scala, предоставляющая богатую иерархию классов типов для функционального программирования.

Functor — объекты, по которым можно выполнять map
Applicative — объединяет независимые эффекты
Monad — последовательно применяет зависимые эффекты

Functor: map

Functor[F] предоставляет map. Он преобразует значение внутри контекста, не изменяя структуру контекста.

import cats.Functor
import cats.instances.option._

val f = Functor[Option].map(Some(2))(_ + 1)
println(f) // Some(3)

Законы Functor

Корректная реализация Functor должна соблюдать два закона:

Тождественность: fa.map(x => x) == fa
Композиция: fa.map(f).map(g) == fa.map(f.andThen(g))

Эти гарантии позволяют безопасно рефакторить цепочки вызовов map.

Applicative: pure и ap

Applicative[F] расширяет Functor и добавляет pure (подъём значения в контекст), а также возможность объединять независимые значения с помощью mapN.

import cats.Applicative
import cats.instances.option._

val lifted = Applicative[Option].pure(42)
println(lifted) // Some(42)

Объединение с помощью mapN

Синтаксис mapN объединяет несколько независимых значений с эффектами в одно, применяя функцию после получения всех значений.

import cats.syntax.apply._
import cats.instances.option._

val result = (Option(1), Option(2), Option(3)).mapN(_ + _ + _)
println(result) // Some(6)

Monad: flatMap

Monad[F] расширяет Applicative и добавляет flatMap, который выстраивает зависимые вычисления в последовательность. Каждый шаг может зависеть от результата предыдущего.

import cats.Monad
import cats.instances.option._

val m = Monad[Option].flatMap(Some(3))(x => Some(x * 10))
println(m) // Some(30)

Законы Monad

Монады должны соблюдать три закона:

Левая тождественность: pure(a).flatMap(f) == f(a)
Правая тождественность: m.flatMap(pure) == m
Ассоциативность: вложенные вызовы flatMap можно перегруппировывать

Semigroup и Monoid

Semigroup[A] определяет combine (ассоциативную операцию). Monoid[A] добавляет нейтральный элемент empty. Эти абстракции лежат в основе свёртки и накопления.

import cats.syntax.semigroup._
import cats.instances.int._
import cats.instances.string._

println(3 |+| 4)       // 7
println("foo" |+| "bar") // foobar

Foldable

Foldable[F] абстрагирует свёртку структуры. В сочетании с Monoid функция combineAll сводит коллекцию к одному значению.

import cats.Foldable
import cats.instances.list._
import cats.instances.int._

val total = Foldable[List].combineAll(List(1, 2, 3, 4))
println(total) // 10

Traverse

Traverse[F] позволяет сопоставить каждому элементу эффект и собрать результаты, преобразуя List[F[A]] в F[List[A]].

import cats.syntax.traverse._
import cats.instances.list._
import cats.instances.option._

val r = List(1, 2, 3).traverse(x => Option(x * 2))
println(r) // Some(List(2, 4, 6))

Почему важны классы типов

Классы типов позволяют писать код, работающий с любым типом, предоставляющим требуемое поведение. Функция с ограничением Monad[F] работает с Option, List, IO и другими типами — напишите её один раз и используйте повсюду.

import cats.Monad
import cats.syntax.flatMap._
import cats.syntax.functor._

def twice[F[_]: Monad, A](fa: F[A])(f: A => A): F[A] =
  fa.flatMap(a => Monad[F].pure(f(f(a))))

Быстрая проверка

Какой класс типов добавляет flatMap для выстраивания зависимых вычислений в последовательность?

Итоги

Вы изучили основную иерархию классов типов Cats:

Functor — map
Applicative — pure и mapN
Monad — flatMap
Semigroup/Monoid — combine/empty
Foldable/Traverse — свёртка и сбор эффектов

Далее вы познакомитесь с монадой IO для чистого моделирования эффектов.

Часто задаваемые вопросы

Урок «Классы типов Cats» бесплатный?

Да — полный текст урока «Классы типов Cats» бесплатно доступен здесь в веб-версии. Чтобы практиковать его интерактивно (встроенный редактор кода и ИИ-репетитор 24/7) и разблокировать остальной курс Scala for Backend Engineering & Functional Programming, подпишись на CoddyKit PRO. Курс Scala for Backend Engineering & Functional Programming содержит 4 уроков всего.

Чему я научусь в уроке «Классы типов Cats»?

Functor, Monad и другие Ты практикуешь Scala for Backend Engineering & Functional Programming с помощью реального кода, который запускаешь прямо в браузере, и ИИ-репетитор 24/7 отвечает на твои вопросы во время урока.

Нужен ли мне опыт, чтобы начать Scala for Backend Engineering & Functional Programming?

Предыдущий опыт не требуется. Scala for Backend Engineering & Functional Programming на CoddyKit структурирован для всех уровней — от новичков до продвинутых, поэтому ты можешь начать отсюда или с самого начала и учиться в своем темпе. Это урок 1 из 4.

Сколько времени занимает урок «Классы типов Cats»?

Большинство уроков CoddyKit занимают около 5–10 минут. Каждый из них компактный и интерактивный, поэтому ты постоянно делаешь прогресс и продолжаешь с того же места в веб-версии и приложении.

Можно ли писать и запускать код в этом уроке Scala for Backend Engineering & Functional Programming?

Да. Каждый урок Scala for Backend Engineering & Functional Programming включает встроенный редактор кода, поэтому ты пишешь и запускаешь реальный код прямо в браузере и получаешь моментальную обратную связь от AI — локальная установка не требуется.

Все уроки этого курса

← Назад к Scala for Backend Engineering & Functional Programming