RError.com

RError.com Logo RError.com Logo

RError.com Navigation

  • 主页

Mobile menu

Close
  • 主页
  • 系统&网络
    • 热门问题
    • 最新问题
    • 标签
  • Ubuntu
    • 热门问题
    • 最新问题
    • 标签
  • 帮助
主页 / 问题

问题[scala]

Martin Hope
Bleser
Asked: 2023-12-03 21:30:06 +0000 UTC

Scala,如果操作的参数类型包含 F[_],则带有 free monad 的代码不会编译

  • 5

我了解 free monad,但如果其中一个类采用,例如fs2.Stream, ,我无法弄清楚如何正确编写代码。

示例代码:

import cats.effect.{Async, IO, IOApp}
import cats.free.Free
import cats.syntax.all._
import cats.{Monad, ~>}
import dev.free.A._

object Example extends IOApp.Simple {
  override def run: IO[Unit] = {
    val stream =
      fs2.Stream.emit[IO, String]("example").through(fs2.text.utf8.encode)
    write("/a/b/c", stream).foldMap(compiler)
  }

  private def compiler: ActionA ~> IO = new (ActionA ~> IO) {
    override def apply[A](fa: ActionA[A]): IO[A] = {
      fa match {
        case Write(path, data) => data.through(fs2.text.utf8.decode).compile.string.flatMap { s =>
          IO.println(s"$path; $s")
        }
      }
    }
  }

}

object A {
  sealed trait ActionA[A]

  case class Write(path: String, data: fs2.Stream[_, Byte]) extends ActionA[Unit]

  type Action[A] = Free[ActionA, A]

  def write(path: String, data: fs2.Stream[_, Byte]): Action[Unit] = Free.liftF[ActionA, Unit](Write(path, data))
}

编译错误:

Example.scala:35:44
_$2 takes no type parameters, expected: 1
  def write(path: String, data: fs2.Stream[_, Byte]): Action[Unit] = Free.liftF[ActionA, Unit](Write(path, data))

fs2.Stream所有问题都是由于没有指定in的效果类型而导致的Write,我不明白如何做到这一点。

scala
  • 1 个回答
  • 16 Views
Martin Hope
kioley
Asked: 2022-06-19 12:15:54 +0000 UTC

关于函数式编程中的状态

  • 1

FP中的状态是个很奇怪的东西,好像有,但又好像没有。

请用一个简单的例子来解释。我们制作了一个简单的按钮计算器。在过程编程中,按数字键会更改变量x,然后是算术运算符的变量,然后是变量y。在按下等号按钮之前,我们可以随时添加一元减号、百分号来更改操作。所有这些都存储在一个状态中(在这种情况下,在变量中)。单击等号按钮会调用一个可以使用纯函数的有状态过程,但它必须将状态传递给它们。计算出的答案作为新的x转移到状态(已分配)可以继续计算。在 OOP 中也发生了大致相同的事情,只不过不是使用过程,而是使用与其状态一起工作的对象方法。程序可能不同,但本质是这样的——一个过程或方法处理某种状态。

问题:如何在 FP 中编写这样一个与之前的用户输入一起逐步工作的计算器?它会存储程序的一些中间状态吗?理想情况下,一些命令式语言的函数式示例会很好,但如果可能的话,不要使用变量。例如在 js 或 python 中。但是函数式语言中的例子有解释也很讨喜。

scala
  • 0 个回答
  • 0 Views
Martin Hope
devoid
Asked: 2022-05-15 23:23:23 +0000 UTC

如何将 Future[Seq[Option[Long]]] 转换为 Long

  • 1

我刚开始使用 Scala,但我无法以任何方式弄清楚。

def setReg(sid: String, reg: String) = {

// Получаю Id из БД
val userId = sidDAO.findUserIdBySid(sid).map(us => us.map(_.userId))

// Вношу изменения по полученному Id
userDAO.updateReg(userId, reg)

}

问题是userId有Future[Seq[Option[Long]]]格式,我需要传Long。如何将其转换为正确的类型?

scala
  • 1 个回答
  • 10 Views
Martin Hope
Eugene X
Asked: 2022-05-08 18:27:25 +0000 UTC

Scala增加枚举

  • 1

你能告诉我如何在Scala中增加一个数字的枚举吗?

object PracticalSkill extends Enumeration {
  type PracticalSkill = Value;
  val Novice, Advanced, Expert = Value;
}

var unitSkill = PracticalSkill.Advanced;
unitSkill += 1; // <-- Нужно что-бы получилось PracticalSkill.Expert так как он следующий
// Но чёт нечего толкового не могу загуглить...
scala
  • 1 个回答
  • 10 Views
Martin Hope
Alexandr Vitkovskiy
Asked: 2022-03-20 00:38:36 +0000 UTC

在scala中逐字拆分字符串

  • 0

请告诉我有一个输入字符串,如

val string_1 = "head.headmaster.master" 或输入 val string_1 = "head.headmaster"

我需要始终将第一个单词提取到一个单独的变量中。 val record = topic.string_1("\\.")(0) 在另一个变量中,我需要写入该行的其余部分,它可以是两个元素,然后是“_”分隔符,或者一个元素。因此,在这种情况下,所有这些都不会中断,即 无论 string_1 变量中的字数如何

scala
  • 1 个回答
  • 10 Views

Sidebar

Stats

  • 问题 10021
  • Answers 30001
  • 最佳答案 8000
  • 用户 6900
  • 常问
  • 回答
  • Marko Smith

    我看不懂措辞

    • 1 个回答
  • Marko Smith

    请求的模块“del”不提供名为“default”的导出

    • 3 个回答
  • Marko Smith

    "!+tab" 在 HTML 的 vs 代码中不起作用

    • 5 个回答
  • Marko Smith

    我正在尝试解决“猜词”的问题。Python

    • 2 个回答
  • Marko Smith

    可以使用哪些命令将当前指针移动到指定的提交而不更改工作目录中的文件?

    • 1 个回答
  • Marko Smith

    Python解析野莓

    • 1 个回答
  • Marko Smith

    问题:“警告:检查最新版本的 pip 时出错。”

    • 2 个回答
  • Marko Smith

    帮助编写一个用值填充变量的循环。解决这个问题

    • 2 个回答
  • Marko Smith

    尽管依赖数组为空,但在渲染上调用了 2 次 useEffect

    • 2 个回答
  • Marko Smith

    数据不通过 Telegram.WebApp.sendData 发送

    • 1 个回答
  • Martin Hope
    Alexandr_TT 2020年新年大赛! 2020-12-20 18:20:21 +0000 UTC
  • Martin Hope
    Alexandr_TT 圣诞树动画 2020-12-23 00:38:08 +0000 UTC
  • Martin Hope
    Air 究竟是什么标识了网站访问者? 2020-11-03 15:49:20 +0000 UTC
  • Martin Hope
    Qwertiy 号码显示 9223372036854775807 2020-07-11 18:16:49 +0000 UTC
  • Martin Hope
    user216109 如何为黑客设下陷阱,或充分击退攻击? 2020-05-10 02:22:52 +0000 UTC
  • Martin Hope
    Qwertiy 并变成3个无穷大 2020-11-06 07:15:57 +0000 UTC
  • Martin Hope
    koks_rs 什么是样板代码? 2020-10-27 15:43:19 +0000 UTC
  • Martin Hope
    Sirop4ik 向 git 提交发布的正确方法是什么? 2020-10-05 00:02:00 +0000 UTC
  • Martin Hope
    faoxis 为什么在这么多示例中函数都称为 foo? 2020-08-15 04:42:49 +0000 UTC
  • Martin Hope
    Pavel Mayorov 如何从事件或回调函数中返回值?或者至少等他们完成。 2020-08-11 16:49:28 +0000 UTC

热门标签

javascript python java php c# c++ html android jquery mysql

Explore

  • 主页
  • 问题
    • 热门问题
    • 最新问题
  • 标签
  • 帮助

Footer

RError.com

关于我们

  • 关于我们
  • 联系我们

Legal Stuff

  • Privacy Policy

帮助

© 2023 RError.com All Rights Reserve   沪ICP备12040472号-5