Бесплатный переводчик монад только с побочным эффектом

Question

Мне нужно написать бесплатный интерпретатор монады, который выполняет только эффективные действия, но не возвращает никакого результата. Для бесплатного аппликативного я использовал переводчик с MyAction ~> Const[Unit, ?] подпись и называется это с помощью foldMap функция. Однако у Const нет экземпляра монады. Id не подходит, потому что требуется вернуть фактическое значение (оценить встроенный язык). Должен ли я написать свой собственный экземпляр монады, похожий на Id, но без базового значения, или есть более удобный способ создания интерпретатора, который не производит никаких значений?

Answer 1

Что вы подразумеваете под "не производя никакой ценности"? Вот Free Пример монады с интерпретаторами, которые ничего не возвращают, но что-то делают.

import cats.{Id, ~>}
import cats.effect.{ExitCode, IO, IOApp}
import cats.free.Free
import cats.free.Free.liftF


object Main extends IOApp {

  // define algebra
  sealed trait LaunchMissilesA[A]
  case class LaunchMissileType1(arg: Int) extends LaunchMissilesA[Unit]
  case class LaunchMissileType2(arg: String) extends LaunchMissilesA[Unit]

  // define Free type
  type LaunchMissiles[A] = Free[LaunchMissilesA, A]

  // smart constructors
  def launchMissileType1(arg: Int): LaunchMissiles[Unit] = liftF[LaunchMissilesA, Unit](LaunchMissileType1(arg))
  def launchMissileType2(arg: String): LaunchMissiles[Unit] = liftF[LaunchMissilesA, Unit](LaunchMissileType2(arg))

  // final program
  def launchVariousMissiles: LaunchMissiles[Unit] =
    for {
      _ <- launchMissileType1(1)
      _ <- launchMissileType2("str2")
    } yield ()

  // interpreter #1: IO
  def ioMissileLauncher: LaunchMissilesA ~> IO = new (LaunchMissilesA ~> IO) {
    override def apply[A](fa: LaunchMissilesA[A]): IO[A] = fa match {
      case LaunchMissileType1(arg) =>
        IO(println(s"[IO] launching Int missile of type 1: $arg").asInstanceOf[A])
      case LaunchMissileType2(arg) =>
        IO(println(s"[IO] launching String missile of type 2: $arg").asInstanceOf[A])
    }
  }

  // interpreter #2: Id
  def idMissileLauncher: LaunchMissilesA ~> Id = new (LaunchMissilesA ~> Id) {
    override def apply[A](fa: LaunchMissilesA[A]): Id[A] = fa match {
      case LaunchMissileType1(arg) =>
        println(s"[Id] launching Int missile of type 1: $arg").asInstanceOf[A]
      case LaunchMissileType2(arg) =>
        println(s"[Id] launching String missile of type 2: $arg").asInstanceOf[A]
    }
  }

  // end of the world
  override def run(args: List[String]): IO[ExitCode] = for {
    _ <- launchVariousMissiles.foldMap(ioMissileLauncher)
    _ <- IO(launchVariousMissiles.foldMap(idMissileLauncher))
  } yield ExitCode(0)
}