5

我决定尝试函数式编程和 Purescript。在阅读"Learn you a Haskell for great good"和"PureScript by Example"玩了一点代码之后，我认为我可以说我理解了基础知识，但有一件事让我很困扰 - 代码看起来非常耦合。我经常更改库是很常见的，在 OOP 中我可以使用洋葱架构将我自己的代码与库特定的代码分离，但我不知道如何在 Purescript 中执行此操作。

我试图找出人们在 Haskell 中是如何做到这一点的，但我能找到的只是诸如“没有人在 Haskell 中制作过复杂的应用程序，所以没有人知道如何去做”或“你有输入，你有输出”之类的答案, 两者之间的一切都只是纯函数”。但此时我有一个玩具应用程序，它使用了虚拟 dom、信号、网络存储、路由器库，它们每个都有自己的效果和数据结构，所以听起来不像一个输入和一个输出。

所以我的问题是我应该如何构建我的代码或者我应该使用什么技术，这样我就可以在不重写我的应用程序的一半的情况下更改我的库？

更新：

使用多层并在主模块中保留效果的建议也很常见，我理解为什么我应该这样做。
这是一个简单的例子，希望能说明我正在谈论的问题： 

btnHandler :: forall ev eff. (MouseEvent ev) => ev -> Eff (dom :: DOM, webStorage :: WebStorage, trace :: Trace | eff) Unit
btnHandler e = do
  btn <- getTarget e
  Just btnId <- getAttribute "id" btn
  Right clicks <- (getItem localStorage btnId) >>= readNumber
  let newClicks = clicks + 1
  trace $ "Button #" ++ btnId ++ " has been clicked " ++ (show newClicks) ++ " times"
  setText (show newClicks) btn
  setItem localStorage btnId $ show newClicks
  -- ... maybe some other actions
  return unit

-- ... other handlers for different controllers

btnController :: forall e. Node -> _ -> Eff (dom :: DOM, webStorage :: WebStorage, trace :: Trace | e) Unit
btnController mainEl _ = do
  delegateEventListener mainEl "click" "#btn1" btnHandler
  delegateEventListener mainEl "click" "#btn2" btnHandler
  delegateEventListener mainEl "click" "#btn3" btnHandler
  -- ... render buttons
  return unit

-- ... other controllers

main :: forall e. Eff (dom :: DOM, webStorage :: WebStorage, trace :: Trace, router :: Router | e) Unit
main = do
  Just mainEl <- body >>= querySelector "#wrapper"
  handleRoute "/" $ btnController mainEl
  -- ... other routes each with it's own controller
  return unit

在这里，我们有一个简单的计数器应用程序，其中包含路由、Web 存储、dom 操作和控制台日志记录。如您所见，没有单一的输入和单一的输出。我们可以从路由器或事件监听器获取输入，并使用控制台或 dom 作为输出，所以它变得有点复杂。

在主模块中包含所有这些有效的代码对我来说是错误的，原因有两个：

  1. 如果我继续添加路由和控制器，这个模块将很快变成一千行混乱。
  2. 将路由、dom 操作和数据存储在同一个模块中违反了单一职责原则（我认为这在 FP 中也很重要）

我们可以将此模块拆分为多个模块，例如每个控制器一个模块并创建某种有效层。但是当我有十个控制器模块并且我想更改我的 dom 特定库时，我应该全部编辑它们。

这两种方法都远非理想，所以问题是我应该选择哪一种？或者也许还有其他方法可以走？

4

2 回答 2

6

没有理由不能有一个中间层来抽象依赖关系。假设您想为您的应用程序使用路由器。您可以定义如下所示的“路由器抽象”库：

module App.Router where

import SomeRouterLib

-- Type synonym to make it easy to change later
type Route = SomeLibraryRouteType

-- Just an alias to the Router library
makeRoute :: String -> Route -> Route
makeRoute = libMakeRoute

然后新的闪亮出来了，你想切换你的路由库。您需要创建一个符合相同 API 但具有相同功能的新模块——一个适配器，如果您愿意的话。

module App.RouterAlt where

import AnotherRouterLib

type Route = SomeOtherLibraryType

makeRoute :: String -> Route -> Route
makeRoute = otherLibMakeRoute

在您的主应用程序中，您现在可以交换导入，并且一切正常。可能需要进行更多的按摩才能使类型和功能按您的预期工作，但这是一般的想法。

您的示例代码本质上是非常必要的。这不是惯用的功能代码，我认为您指出它不可持续是正确的。更多的功能习语包括purescript-halogen和purescript-thermite。

将 UI 视为当前应用程序状态的纯函数。换句话说，考虑到事物的当前价值，我的应用程序是什么样的？此外，考虑到应用程序的当前状态可以通过将一系列纯函数应用于某个初始状态而得出。

你的应用状态是什么？

data AppState = AppState { buttons :: [Button] }
data Button = Button { numClicks :: Integer }

你在看什么样的活动？

data Event = ButtonClick { buttonId :: Integer }

我们如何处理该事件？

handleEvent :: AppState -> Event -> AppState
handleEvent state (ButtonClick id) =
    let newButtons = incrementButton id (buttons state)
    in  AppState { buttons = newButtons }

incrementButton :: Integer -> [Button] -> [Button]
incrementButton _ []      = []
incrementButton 0 (b:bs)  = Button (1 + numClicks b) : bs
incrementButton i (b:bs)  = b : incrementButton (i - 1) buttons

您如何根据当前状态呈现应用程序？

render :: AppState -> Html
render state =
    let currentButtons = buttons state
        btnList = map renderButton currentButtons
        renderButton btn = "<li><button>" ++ show (numClicks btn) ++ "</button></li>" 
    in  "<div><ul>" ++ btnList ++ "</ul></div>"
于 2015-06-13T03:33:14.877 回答
3

这是一个开放式问题，因此如果没有具体示例，很难具体回答。

你有输入，你有输出，两者之间的一切都只是纯函数

像这样的陈述实际上非常接近事实。由于 Haskell 和 PureScript 中没有有状态的对象，应用程序中的大部分代码将基于纯函数和简单的数据类型（或记录），因此它不会与任何特定的库紧密耦合（除了诸如Maybe, Either, Tuple, 等等，在您所说的意义上，它们并不是真正的库）。

您应该尽可能尝试将使用效果的代码推送到“外部”。在这里，您可以交错处理所需的各种库来处理任何输入并生成应用程序所需的任何输出。这种分层使得切换库变得很容易，因为在这里您主要将核心纯代码提升到Effmonad 以“连接”到外部输入和输出。

一种看待它的方式是，如果您发现自己Eff在应用程序的主模块或顶层之外使用了很多东西，那么您可能“做错了”。

如果您正在编写 Haskell，请将我提到的任何地方替换Eff为IO.

于 2015-05-19T12:36:47.113 回答