1

目标是让人们输入一个整数，并验证它确实是一个整数。如果不是 - 然后再问。第一次尝试是使用ioMonad.whileM，因为它实际上在 IO 中返回值，并编写类似的东西（然后我们可以“安全地”将 String 转换为 Int）：

 val input: IO[Option[String]] = ioMonad.whileM(readLn.map(_ exists notDigit),
 askAndReadNumber)(scalaz.std.AllInstances.optionInstance)

但是这种方法没有奏效，因为在这种情况下，我不仅要验证值，还要再次从控制台读取它。

因此，由于我需要读取输入，然后以某种方式将其传递给条件，所以我在想，IORef可能是完全正确的工具（我以前从未使用过它，所以将此视为我学习函数式编程的卑微尝试） . 我结束了：

def requireNumber: IO[Int] = {    
    val numref: IO[IORef[String]] = newIORef("a")
    ioMonad.whileM_(condition(numref), askAndReadNumberToIORef(numref))
    numref.flatMap(_.read).map(_.toInt)
  }

  def condition(num: IO[IORef[String]]): IO[Boolean] = for {
    ref ← num
    enteredNumber ← ref.read
  } yield enteredNumber exists notDigit

  def askAndReadNumberToIORef(num: IO[IORef[String]]): IO[Unit] = for {
    ref ← num
    input ← askAndReadNumber
    _ ← ref.write(input)
  } yield ()

  private def notDigit: (Char) ⇒ Boolean =
    !Character.isDigit(_)

  def askAndReadNumber: IO[String] =
    for {
    _ ← putStrLn("Enter a number please")
    maxN ← readLn
  } yield maxN

发生的事情是 - 实际上整个循环被完全忽略了，程序直接进入带有初始 ref 的行：

num.flatMap(_.read).map(_.toInt)

那么，我在这里滥用Ref概念吗？为什么它不起作用？

谢谢

更新： 实际上我通过编写这个方法解决了最初的问题：

def whileMpropagating[M[_], A](f: ⇒ M[A])(p: A ⇒ Boolean)(implicit M: Monad[M]): M[A] =
    M.bind(f)(value ⇒ if (!p(value)) f else whileMpropagating(f)(p))

接着whileMpropagating(askAndReadNumber)(_ forall notDigit)(ioMonad) map (_.toInt)

但我仍然有兴趣在这里使用 IORef。

Update2：我的耻辱，iterateWhile在 Monad 中确实如此 :)

4

1 回答 1

1

IORef对你的情况来说太过分了。这是几行代码的解决方案：

import scala.util.Try
import scalaz.effect.IO
import scalaz.syntax.monad._

private def isInteger(str: String) = Try(Integer.parseInt(str)).isSuccess

val requireNumber: IO[Int] = IO.readLn.iterateUntil(isInteger).map(Integer.parseInt)

IORef表示可变引用（函数式编程试图避免），应该非常谨慎地使用它。通过尝试首先编写纯函数来解决您的问题总是一个好主意。

于 2015-05-31T18:05:45.123 回答