标签[tagless-final] - 堆栈内存溢出

为什么 Either 在下面的理解中是预期的？ - Why is Either expected in the following for comprehension?

我正在玩 scala 中的 tagless final。我使用 pureconfig 加载配置，然后使用配置值设置服务器端口和主机。片段 def create[F[_]: Async] = for { config <- ConfigSource.default.at ...

Scala 无标签最终没有指定具体类型 - Scala Tagless Final Without Specifying a Concrete Type

我有一个看起来像这样的服务：无标签的最终特征：在我的实现中，我有以下内容：这很好，但我仍想延迟它并仅在实例化我的 ProvisioningService 的新版本时传递效果。例如，我想要这样的东西：在运行时，我执行以下操作：所以基本上我在编译时没有提供具体的实现，但是我创建了我的 Pro ...

如何将 Cats Effect 3 转换为 Future - How convert Cats Effect 3 to Future

我正在尝试将 Playframework 与 Cats Effect 3 Tagless Final 风格相结合。我被困在向未来的转变上。 Play 的 Action 需要我想要达到的值或 Future 来进行异步处理。在猫效应 2 中，可以通过_.toIO.unsafeToFuture ...

Akka Play guice bindings tagless final (TF) 支持 - Akka Play guice bindings tagless final (TF) support

我有这个绑定来在我的应用程序中配置 Logger[IO] （带有这一行的模块在 guice.conf 文件中）： class CatsEffectModule extends AbstractModule with ScalaModule { override def configure(): ...

Option[F[ShoppingCart]] 到 F[Option[ShoppingCart]] 之间的转换 - Conversion between Option[F[ShoppingCart]] to F[Option[ShoppingCart]]

我在 Scala 中有以下代数（我使用的是无标签最终模式）：trait ShoppingCarts[F[_]] { def create(id: String): F[Unit] def find(id: String): F[Option[ShoppingCart]] def add( ...

具有无标记最终样式的 Kleisli 依赖项 - Kleisli dependencies with Tagless Final style

我正在尝试使用 Kleisli 来 model 依赖项。例如，假设我有以下业务逻辑类型：现在我有以下解码和数据库访问的实现：现在，当我想将这两个对象与业务逻辑一起使用时，我遇到了类型冲突：Kleisli[ErrorOr, DbSession, A] 与 Klesili[ErrorOr, Any ...

Scala 猫：如何测试日志记录与如何登录生产代码 - Scala Cats: How to test logging vs how to log in production code

您能否在 Scala 中给我一个无标记的最终版本，该版本的日志记录实现很容易在单元测试中进行测试，但在生产中使用 slf4j 或类似框架运行？ ...

将 Task[Either] 和 IO[Either] 表示为包含 tryCatch 的单个 monad？ - Represent Task[Either] and IO[Either] as a single monad that includes tryCatch?

有没有办法将 IOEither 和 TaskEither 表示为一个也包括tryCatch的 Monad？我目前将在 HTTP 上使用 API，因此使用 TaskEither 是有意义的，但预计此代码将“离家更近”迁移，此时将其IOEither是有意义的。所以我想写一个无标签风格的消费者界面i ...

将 `Option[A]` 转换为 Http4s 中的 Ok() 或 NotFound() API - Converting an `Option[A]` to an Ok() or NotFound() inside an Http4s API

我有一个看起来像这样的 API：object Comics { ... def impl[F[_]: Applicative]: Comics[F] = new Comics[F] { def getAuthor(slug: Authors.Slug): F[Option[Aut ...

Intellij IDEA 无法解析隐式符号（scala 无标记最终） - Intellij IDEA cannot resolve symbol on implicits (scala tagless final)

我有一些使用无标记最终方法的代码，发现 Intellij IDEA 无法识别来自隐式 class 的方法。我这里有一些类型类（ Functor 、 Apply 、 Applicative等）和一个implicit class FunctorOps以及Functor的一些辅助方法。此代码编译但 ...

如何在抽象效果类型上配置 Cats Timer - How to configure Cats Timer on abstract effect type

假设我在使用Cats-effect标记最终方法的项目中有以下方法签名：我正在尝试使用纯 FP schedule方法调用上的操作。我试过这样：但它不起作用，因为效果println("tick")在Timer初始化阶段执行。我怎样才能让它正常工作？我还可以创建某种递归构造，以便每 10 秒重 ...

如何为我的无标记代数编写单元测试？ - How to write unit test for my tagless algebra?

我有一个代数解释器，我想为它编写一个单元测试。解释器如下：代数如下：实施如下：我使用测试框架https://scalameta.org/munit/ 。如何为我的上述代数编写单元测试？ ...

为无标签代数编写法律或单元测试 - Write laws or unit test for tagless algebras

我已经写了两个无标签代数，我想为其中一个写定律。代数如下：口译员如下：在函数式编程中，有 Monoid、Monads 等规律。我的问题是：我的代数是否需要法律或编写单元测试就足够了？法律和单元测试有什么区别？我应该如何为DbConnector代数编写定律 ...

第一个最终的无标签方法 - The first final tagless approach

我正在尝试在 Scala 中使用第一次无标记最终模式并且有点挣扎。我有以下代数定义：和解释器的实现：我想要做的是，将Environment组合成DbSystemEnvironment 。这里的问题是，我无法从env.get(url)中获取值，因为我对DbSystemEnvironment中的 ...

一个函数中两个多态类的解释器 - Interpreters for two polymorphic classes in one function

我有这个多态代码（请参阅此问题），其中包含用于模型和客户端的通用 monad： import Control.Monad.Writer class Monad m => Model m where act :: Client c => String -> c a -> ...

一个函数中的两个多态类 - Two polymorphic classes in one function

我有这个带有 State monads 的代码： import Control.Monad.State data ModelData = ModelData String data ClientData = ClientData String act :: String -> State ...

使用 Async[F] 将 Future[A] 转换为 F[A] - Transform Future[A] to F[A] with Async[F]

我正在与 Slick 和 Cats 合作。 database.run返回一个Future ，但我需要我的类的方法（ F[_]: Async上的泛型）来返回一个 monad F 。我可以让它像这样工作但这肯定不是应该做的方式，因为它阻塞了线程。有没有合适的方法来做到这一点？ ...

使用无标签最终更改为错误的优雅方式 - Elegant way to change either to error with tagless final

我经常做这样的事情：简而言之，这意味着如果Either是left则使用raiseError ，如果是right则返回值。有没有更方便的方法来“解开” Either ？ ...

Scala，猫 - 如何使用 IO（或其他单子）和任何一个创建无标签最终实现？ - Scala, cats - how to create tagless-final implementation with IO (or other monad) and Either?

我创建了一个简单的trait和他的实现：在这里，我想使用Either或EitherT来“捕获”错误，但我也想使用IO或Future作为主要单子。在我的主要 class 中，我创建了对此实现的调用：但是在创建pointer的行中，IntelliJ 向我显示错误： Type mismatch - ...

在余代数上使用 Tagless Final（对象代数）可以吗？ - Is it ok to use Tagless Final (Object Algebras) on coalgebras?

背景 Haskell 和 Scala 社区最近非常迷恋他们所谓的无标签最终编程“模式”。这些被称为对初始自由代数的对偶，所以我想知道 Tagless Final 的最终结果是什么。在 ncatlab 上只能找到关于最终代数的讨论，而不是最终代数。在 CS-Theory Stack Excha ...