需要澄清混淆 Http4s 消息类型 `Response[F]`/`Request[F]`

问题描述

我很难理解为什么 Request 和 Response 在 F 中被参数化。

采用类似的方法是猫效应数据类型资源。

来自文档

https://typelevel.org/cats-effect/docs/std/resource

我们找到如下定义

object Resource {
  def make[F[_],A](acquire: F[A])(release: A => F[Unit]): Resource[F,A]

  def eval[F[_],A](fa: F[A]): Resource[F,A]
}

abstract class Resource[F,A] {
  def use[B](f: A => F[B]): F[B]
}

特别

def use[B](f: A => F[B]): F[B] 清楚地说明了为什么 Resource 在 F 中被参数化。

鉴于文档中没有任何内容可以解释 Response[F]（请注意，我非常理解为什么 F[Response]，这是我不了解的内部 F），我查看了一下代码https://github.com/http4s/http4s/blob/main/core/src/main/scala/org/http4s/Message.scala

除非我不够仔细，否则我找不到任何可以证明效果类型存在的理由。

谁能解释一下内部的 F 参数。

以与 https://www.haskellforall.com/2013/06/the-resource-applicative.html 类似的方式

资源是一个 IO 操作，它获取一些类型为 a 的资源并且 还返回释放资源的 IO () 类型的终结器。你 可以将 a 视为句柄，但它实际上可以是任何 可以被获取或释放，如 Socket 或 AMQP 连接。

我们能否对什么是响应以及它做什么有一个概念性的定义，这确实需要它对特定的效果类型进行参数化？

解决方法

让我们看看 Http[F,G] 的定义，它是 http4s 的核心：

/** A kleisli with a [[Request]] input and a [[Response]] output.  This type
  * is useful for writing middleware that are polymorphic over the return
  * type F.
  *
  * @tparam F the effect type in which the [[Response]] is returned
  * @tparam G the effect type of the [[Request]] and [[Response]] bodies
  */
type Http[F[_],G[_]] = Kleisli[F,Request[G],Response[G]]

Kleisli 本质上是一个有效函数的包装器：A => F[B]:

final case class Kleisli[F[_],-A,B](run: A => F[B])

如果我们在这里开发类型俄罗斯方块，我们会看到 Http 的实际类型签名是：

Request[G] => F[Response[G]]

现在，Request 和 Response 在 G 中参数化的原因是它们可能包含一个主体。我们可以从两个定义中看到这一点：

final class Request[F[_]](
    val method: Method = Method.GET,val uri: Uri = Uri(path = "/"),val httpVersion: HttpVersion = HttpVersion.`HTTP/1.1`,val headers: Headers = Headers.empty,val body: EntityBody[F] = EmptyBody,val attributes: Vault = Vault.empty

final case class Response[F[_]](
    status: Status = Status.Ok,httpVersion: HttpVersion = HttpVersion.`HTTP/1.1`,headers: Headers = Headers.empty,body: EntityBody[F] = EmptyBody,attributes: Vault = Vault.empty)
    extends Message[F] {

您可以看到 F 用于 EntityBody[F]，它本身是 Stream[F,Byte] 的类型别名，用于延迟消耗效果中的输入/输出流 { {1}}。

特别是对于 F，两个类型参数实际上是相同的：

HttpRoutes[F]

这是真的：

type HttpRoutes[F[_]] = Http[OptionT[F,*],F]

因此我们到处都看到 Request[F] => F[Option[Response[[F]]] 而不是具有单独的类型参数主体的原因。

总而言之，F[Response[F]] 中的外部 F 用于捕获产生响应可能是有效操作的事实。这就是为什么 F[Response[G]] 通常是某种类型的 IO 类型（cats-effect F、IO 等），并且使用请求/响应中的内部 ZIO[R,E,A]对在给定效果中产生字节的流进行建模。