Haskell 在函数式反应式编程中，如何在应用程序的两个部分之间共享状态？
我有一些应用程序架构，其中用户输入流到一些自动机，自动机在事件流的上下文中运行，并将用户引导到应用程序的不同部分。应用程序的每个部分都可以根据用户输入运行一些操作。但是，应用程序的两个部分共享某些状态，并且从概念上讲，读写状态相同。需要注意的是，这两个“线程”不是同时运行的，其中一个“暂停”，而另一个“产生”输出。在不使用全局变量的情况下，描述这种状态共享计算的规范方法是什么？这两个“线程”保持通过某种形式的消息传递同步的本地状态有意义吗，即使它们无论如何都不是并发的Haskell 在函数式反应式编程中，如何在应用程序的两个部分之间共享状态？,haskell,functional-programming,frp,Haskell,Functional Programming,Frp,我有一些应用程序架构，其中用户输入流到一些自动机，自动机在事件流的上下文中运行，并将用户引导到应用程序的不同部分。应用程序的每个部分都可以根据用户输入运行一些操作。但是，应用程序的两个部分共享某些状态，并且从概念上讲，读写状态相同。需要注意的是，这两个“线程”不是同时运行的，其中一个“暂停”，而另一个“产生”输出。在不使用全局变量的情况下，描述这种状态共享计算的规范方法是什么？这两个“线程”保持通过某种形式的消息传递同步的本地状态有意义吗，即使它们无论如何都不是并发的 没有代码示例，因为问题更具
没有代码示例，因为问题更具概念性，但欢迎使用Haskell（使用任何FRP框架）或其他语言的示例进行回答。我一直在研究解决此问题的方法。高级总结是您： A） 将所有并发代码提取为纯单线程规范 B） 单线程规范使用
StateT- 控制器，它们是有效的输入
- 视图，它们是有效的输出
- 一个模型，它是一个纯流转换
controller1 - -> view1
\ /
controller2 ---> controllerTotal -> model -> viewTotal---> view2
/ \
controller3 - -> view3
\______ ______/ \__ __/ \___ ___/
v v v
Effectful Pure Effectful
>>> quickCheck $ \n -> length ((`evalState` initialStatus) $ P.toListM $ each (replicate n (Key 'x')) >-> runEdge (rcplCore t)) == n || n < 0
箭头箭头选择
是与并行性等效的单线程箭头
是单线程的并发等价物ArrowChoice
管道箭头箭头选择newtype Edge m r a b = Edge { unEdge :: a -> Pipe a b m r }
instance (Monad m) => Category (Edge m r) where
id = Edge push
(Edge p2) . (Edge p1) = Edge (p1 >~> p2)
instance (Monad m) => Arrow (Edge m r) where
arr f = Edge (push />/ respond . f)
first (Edge p) = Edge $ \(b, d) ->
evalStateP d $ (up \>\ unsafeHoist lift . p />/ dn) b
where
up () = do
(b, d) <- request ()
lift $ put d
return b
dn c = do
d <- lift get
respond (c, d)
instance (Monad m) => ArrowChoice (Edge m r) where
left (Edge k) = Edge (bef >=> (up \>\ (k />/ dn)))
where
bef x = case x of
Left b -> return b
Right d -> do
_ <- respond (Right d)
x2 <- request ()
bef x2
up () = do
x <- request ()
bef x
dn c = respond (Left c)
nx*** Failed! Falsifiable (after 17 tests and 6 shrinks):
78
“>”IOmvcrcplStateTStateTIORefMVarStateT“threads”forkIOEdgeEdgeEdgeModel边缘。