如何解决需要澄清混淆 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]
对在给定效果中产生字节的流进行建模。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。