- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
这个问题是关于 Haskell 的 Pipes图书馆
背景:
在 previous question 中, 我问如何使用管道和 the answer I got 形成一个循环是“不要那样做。改用 request
和 response
。”虽然有一个优秀且写得很清楚的tutorial涵盖了 Producers
、Consumers
、Pipes
和 Effects
的简单英语。 documentation对于 request
和 response
Client
和 Server
从定义 Categories 开始并提到其他一些 CompSci 概念,例如“the generator design pattern. ”和“the iteratee design pattern ”。从未解释过。所以我不知道如何“改为使用 request
和 response
。”
设置
我有两个类似状态机的东西需要反复来回传递数据,robot
和 intCode
。
机器人非常简单:
robot :: Pipe Int Int m r -- robot never returns so its return type is polymorphic
robot = go newRobot
where
go r = do
yield $ color r
c <- toColor <$> await
turn <- toTurn <$> await
go $ update c turn r
它yield
一个值,await
两条指令(一种新颜色和一个回合),更新状态(r
) 的机器人,然后重新开始。
intCode
虚拟机运行程序以与机器人通信。它需要一个程序(称为 code
)并创建一个管道,该管道将等待
从机器人读取的传感器,然后 yield
两条指令。
(boot code) :: Pipe Int Int m ()
让我们假设 IntCode VM 不容易修改,但机器人是。
问题:
request
和 respond
与 await
和 yield
有何不同?
我如何使用它们来促进机器人和 VM 之间的持续通信?
最佳答案
await
和yield
的定义是:
await = request ()
yield = respond
因此它们与request
和respond
密切相关。 await
和 yield
版本刚刚专用于单向拉式流(Producer
、Pipe
和消费者
)。
要在两个端点之间执行双向通信,您需要设置一个Client
和一个Server
并连接它们。
Client
是一个发出请求的 monadic action:
y <- request x
通过发送请求x
和接收响应y
。 Server
是一个 monadic action,它响应:
x <- respond y
接受请求 x
并发送响应 y
。请注意,这些操作是对称的,因此在给定的应用程序中,哪一半是 Client
哪一半是 Server
是任意的。
现在,您可能会注意到,当 Client
发送一个 x
并接收一个 y
作为响应时,Server
似乎落后了。它在收到请求 x
之前发送响应 y
!事实上,它只需要落后一步——拉式流中的服务器将希望将其响应 y
发送到 previous 请求,以便接收下一个请求x
。
作为一个简单的例子,这里有一个客户端
请求加法计算二的幂:
-- |Client to generate powers of two
power2 :: Client (Int, Int) Int IO ()
power2 = go 1
where go n | n <= 1024 = do
liftIO $ print n
n' <- request (n,n) -- ask adder to add "n" and "n"
go n'
go n = liftIO $ print "Done"
由于这种“落后一步”的业务,编写服务器以添加数字有点棘手。我们可以从这样写开始:
-- |Server to sum numbers
sum2 :: Server (Int, Int) Int IO ()
sum2 = do
(n,n) <- respond ??? -- send previous response to get current request
let n' = n+n
??? <- respond n' -- send current reponse to get next request
诀窍是通过接受第一个请求作为 monadic 操作的参数来开始:
-- |Server to sum numbers
sum2 :: (Int, Int) -> Server (Int, Int) Int IO ()
sum2 (m, n) = do
(m', n') <- respond (m+n) -- send response to get next request
sum2 (m', n') -- and loop
幸运的是,拉点连接器 +>>
具有正确的类型来连接这些:
mypipe :: Effect IO ()
mypipe = sum2 +>> power2
然后我们可以以通常的方式运行结果效果:
main :: IO ()
main = runEffect mypipe
ghci> main
1
2
4
8
16
32
64
128
256
512
1024
"Done"
请注意,对于这种类型的双向通信,请求和响应需要以同步锁步方式运行,因此您不能执行等同于产生一次并等待两次的操作。如果您想重新设计上面的示例以分两部分发送请求,您需要开发一个具有合理请求和响应类型的协议(protocol),例如:
data Req = First Int | Second Int
data Res = AckFirst | Answer Int
power2 = ...
AckFirst <- request n
Answer n' <- request n
sum2 = ...
First m' <- respond (Answer (m+n))
Second n' <- respond AckFirst
...
对于您的大脑/机器人应用程序,您可以将机器人设计为客户端:
robotC :: Client Color (Color,Turn) Identity ()
robotC = go newRobot
where
go r = do
(c, turn) <- request (color r)
go $ update c turn r
或服务器:
robotS :: Server (Color,Turn) Color Identity ()
robotS = go newRobot
where
go r = do
(c, turn) <- respond (color r)
go $ update c turn r
因为机器人在消耗输入之前产生输出,作为客户端,它将适合带有大脑服务器的基于拉动的流:
brainS :: Color -> Server Color (Color,Turn) Identity ()
brainS = ...
approach1 = brainS +>> robotC
或者作为服务器,它将与大脑客户端一起适应基于推送的流:
brainC :: Color -> Client (Color,Turn) Color Identity ()
brainC = ...
approach2 = robotS >>~ brainC
关于haskell - 在 Pipes 库中使用请求和响应进行双向通信,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/59333006/
我喜欢 smartcase,也喜欢 * 和 # 搜索命令。但我更希望 * 和 # 搜索命令区分大小写,而/和 ?搜索命令遵循 smartcase 启发式。 是否有隐藏在某个地方我还没有找到的设置?我宁
关闭。这个问题是off-topic .它目前不接受答案。 想改进这个问题? Update the question所以它是on-topic对于堆栈溢出。 10年前关闭。 Improve this qu
从以下网站,我找到了执行java AD身份验证的代码。 http://java2db.com/jndi-ldap-programming/solution-to-sslhandshakeexcepti
似乎 melt 会使用 id 列和堆叠的测量变量 reshape 您的数据框,然后通过转换让您执行聚合。 ddply,从 plyr 包看起来非常相似..你给它一个数据框,几个用于分组的列变量和一个聚合
我的问题是关于 memcached。 Facebook 使用 memcached 作为其结构化数据的缓存,以减少用户的延迟。他们在 Linux 上使用 UDP 优化了 memcached 的性能。 h
在 Camel route ,我正在使用 exec 组件通过 grep 进行 curl ,但使用 ${HOSTNAME} 的 grep 无法正常工作,下面是我的 Camel 路线。请在这方面寻求帮助。
我正在尝试执行相当复杂的查询,在其中我可以排除与特定条件集匹配的项目。这是一个 super 简化的模型来解释我的困境: class Thing(models.Model) user = mod
我正在尝试执行相当复杂的查询,我可以在其中排除符合特定条件集的项目。这里有一个 super 简化的模型来解释我的困境: class Thing(models.Model) user = mod
我发现了很多嵌入/内容项目的旧方法,并且我遵循了在这里找到的最新方法(我假设):https://blog.angular-university.io/angular-ng-content/ 我正在尝试
我正在寻找如何使用 fastify-nextjs 启动 fastify-cli 的建议 我曾尝试将代码简单地添加到建议的位置,但它不起作用。 'use strict' const path = req
我正在尝试将振幅 js 与 React 和 Gatsby 集成。做 gatsby developer 时一切看起来都不错,因为它发生在浏览器中,但是当我尝试 gatsby build 时,我收到以下错
我试图避免过度执行空值检查,但同时我想在需要使代码健壮的时候进行空值检查。但有时我觉得它开始变得如此防御,因为我没有实现 API。然后我避免了一些空检查,但是当我开始单元测试时,它开始总是等待运行时异
尝试进行包含一些 NOT 的 Kibana 搜索,但获得包含 NOT 的结果,因此猜测我的语法不正确: "chocolate" AND "milk" AND NOT "cow" AND NOT "tr
我正在使用开源代码共享包在 iOS 中进行 facebook 集成,但收到错误“FT_Load_Glyph failed: glyph 65535: error 6”。我在另一台 mac 机器上尝试了
我正在尝试估计一个标准的 tobit 模型,该模型被审查为零。 变量是 因变量 : 幸福 自变量 : 城市(芝加哥,纽约), 性别(男,女), 就业(0=失业,1=就业), 工作类型(失业,蓝色,白色
我有一个像这样的项目布局 样本/ 一种/ 源/ 主要的/ java / java 资源/ .jpg 乙/ 源/ 主要的/ java / B.java 资源/ B.jpg 构建.gradle 设置.gr
如何循环遍历数组中的多个属性以及如何使用map函数将数组中的多个属性显示到网页 import React, { Component } from 'react'; import './App.css'
我有一个 JavaScript 函数,它进行 AJAX 调用以返回一些数据,该调用是在选择列表更改事件上触发的。 我尝试了多种方法来在等待时显示加载程序,因为它当前暂停了选择列表,从客户的 Angul
可能以前问过,但找不到。 我正在用以下形式写很多语句: if (bar.getFoo() != null) { this.foo = bar.getFoo(); } 我想到了三元运算符,但我认
我有一个表单,在将其发送到 PHP 之前我正在执行一些验证 JavaScript,验证后的 JavaScript 函数会发布用户在 中输入的文本。页面底部的标签;然而,此消息显示短暂,然后消失...
我是一名优秀的程序员,十分优秀!