将此一元计数器从 Haskell 转换为 Scala

Question

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

我的一个朋友改进了我的解决方案，并提出了这个简单的解决方案：

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 的最新稳定版本缺少 WriterT 的 lift 方法。在Scalaz 中使用ReaderWriterState，我在几个小时内无法弄清楚如何使用local 方法。而这仅仅是开始......

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

旁注：

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

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)))