scala - 将这个 monadic 计数器从 Haskell 转换为 Scala

Question

我定义了一个 monadic counter in Haskell我正在尝试将其转换为 Scala，但到目前为止都失败了。简而言之，问题在于将计数器实现为状态 monad，它从环境中读取计数器增量常量，并记录计数器的历史记录(其值序列)。

我的一个 friend 改进了我的解决方案，并提出了这个简单的解决方案:

newtype Counter = Counter Int deriving (Eq)

instance Show Counter where
  show (Counter i) = show i

incWith :: MonadState Counter m => Int -> m ()
incWith n = let incCounter n' (Counter i) = Counter $ i + n'
            in modify (incCounter n)

inc :: (MonadReader Int m, MonadState Counter m, MonadWriter [Counter] m) => m ()
inc = ask >>= incWith >> get >>= tell . (:[])

compute :: (MonadReader Int m, MonadState Counter m, MonadWriter [Counter] m) => m ()
compute =
  local (const 3) $ do
    inc
    inc
    inc
    local (const 5) $ do
      inc
      inc

我试过 without success将其编码为 Scala + (Cats | ScalaZ)。 Cats 最新稳定版缺少 lift WriterT 的方法.并与 ReaderWriterState在 Scalaz我在几个小时内无法弄清楚如何使用 local方法。而这只是开始......

如何以简单而优雅的方式翻译这个 Haskell 解决方案？ (在语言允许的范围内)。

边注:

我仍在试图弄清楚为什么我需要花这么多时间将简单的解决方案从 Haskell 转换为 Scala + FP 库(Cats、Scalaz)。在 Haskell 中找到每个类型类的实例和可用函数是轻而易举的，在 Scala 中使用 IntelliJ、GitHub 和 StackOverflow 这需要我几天时间。所以我想知道我做错了什么，我该如何改善这种情况。

Answer 1

如果我正确理解您的意图，这将转化为非常简单易懂的代码:

  import scalaz._
  import Scalaz._
  val SM = ReaderWriterState.rwstMonad[Id, Int, List[String], Counter]

  case class Counter(value: Int)

  def incWith(n: Int): State[Counter, Unit] = for {
    v ← get[Counter]
    _ ← put(Counter(v.value + n))
  } yield ()

  def inc: IRWS[Int, List[String], Counter, Counter, Unit] = for {
    v ← SM.ask
    c ← SM.get
    _ ← SM.tell(List(s"Incrementing $c by $v "))
    _ ← SM.modify(counter ⇒ Counter(counter.value + v))
  } yield ()

  def compute: IRWS[Int, List[String], Counter, Counter, Unit] = {
    for {
      _ <- SM.local[Unit](i ⇒ 3)(for {
        _ ← inc
        _ ← inc
        _ ← inc
      } yield ())
      _ <- SM.local[Unit](i ⇒ 5)(for {
        _ ← inc
        _ ← inc
        _ ← inc
      } yield ())
    } yield ()
  }

  println(incWith(5)(Counter(0)))
  println(inc.run(4, Counter(0)))
  println(compute.run(0, Counter(0)))