6

我正在使用reactive-banana- 构建一个多模式编辑器，并且在大多数情况下它会很完美。为了扩展我的场景，编辑器是一些绘图软件，或者您可以将其视为一个非常简单的矢量图形编辑器。它目前有两种状态——选择模式和多边形创建模式。在选择模式下，用户可以用鼠标右键选择以前创建的多边形（理论上这会带你进入一个新的选择模式），或者他们可以用鼠标左键开始创建一个新的多边形。

目的是，当按下鼠标左键时，我们从选择模式切换到多边形创建模式。在这种模式下，鼠标左键意味着“添加一个新的顶点”，直到用户返回到原来的顶点。此时，他们已经关闭了多边形，所以我们返回选择模式。

我已经用几种不同的方式实现了这一点，最近注意到事件切换几乎使它非常优雅。我可以有：

defaultMode :: Frameworks t => HadoomGUI -> Moment t (Behavior t Diagram)
defaultMode gui@HadoomGUI{..} =
  do mouseMoved <- registerMotionNotify guiMap
     mouseClicked <- registerMouseClicked guiMap
     let lmbClicked = ...
         gridCoords = ...
         diagram = ... 
     switchToCreateSector <- execute ((\m ->
                                         FrameworksMoment
                                           (=<< trimB =<< createSectorMode gui emptySectorBuilder m)) <$>
                                      (gridCoords <@ lmbClicked))
     return (switchB diagram switchToCreateSector)

随着

createSectorMode :: Frameworks t
                 => HadoomGUI
                 -> SectorBuilder
                 -> Point V2 Double
                 -> Moment t (Behavior t Diagram)
createSectorMode HadoomGUI{..} initialSectorBuilder firstVertex =
  do mouseClicked <- registerMouseClicked guiMap
     ...

这当然有效 - 只需单击鼠标。如果我在地图上单击一次，我会从刚才的状态切换到扇区创建模式。但是，如果我再次单击，defaultMode接收到单击事件并切换到新的多边形创建模式，丢弃我之前的状态。

我想做的就是切换defaultMode一次，再也没有回来的可能。本质上，我想Behavior t Diagram用defaultMode.createSectorMode

我知道reactive-banana动态事件的垃圾收集存在问题，但我现在愿意接受。上面的公式比我迄今为止写的任何其他公式都要精确得多——比如有一个CurrentState变量并根据它的内容过滤各种事件。我遇到的问题是它太大了，给我留下了太多的空间来搞砸事情。通过切换，我只能在范围内处理我可以处理的事件。

4

1 回答 1

3

这个问题有点开放式，所以我不能给出明确的答案。但我当然可以发表我的意见。;-)

但是，我可能会做的是将模式之间的切换与模式内的行为分开。如果我们暂时忘记 FRP，您的程序看起来有点像一对递归调用自身的函数：

defaultMode = ... `andthen` sectorMode
sectorMode  = ... `andthen` defaultMode

它的编写有点像“顺序”程序，“先做这个模式，然后做那个模式”。我认为这没有什么问题，尽管默认的 API 反应香蕉，特别是switchB，并不能很好地支持这种风格。你（私下）提到你可以写一个

once :: Event t a -> Event t a

允许事件的第一次发生，但丢弃其余事件的组合器。这确实是顺序样式所需要的。

但是，由于您总是返回到默认模式，我可能会尝试不同的方法，其中每种模式都有一个事件表明它想要被切换掉。切换本身由“外部”实体负责。这个想法是为了避免在上面的程序中通过一些高阶组合器进行显式递归。在伪代码中，这看起来像这样：

modeManager = switchB initialMode changeMode
changeMode  = defaultModeSwitch `union` sectorModeSwitch

虽然我有点不确定细节。事实上，我不完全确定它是否有效，您可能仍然需要once组合器。

无论如何，这只是关于如何进行切换的一个想法。我完全同意切换是处理不同模式的正确方法。

于 2015-01-10T17:18:06.633 回答