我怎样才能使这个函数的签名更精确

Question

我有两个功能：

prompt :: Text -> (Text -> Either Text a) -> IO a
subPrompt :: Text -> (Text -> Bool) -> IO a -> IO (Maybe (Text, a))

subPrompt 接受第二个提示（参数 3），如果参数 2 中的函数在运行第一个提示后返回为真，则显示它。

我不喜欢参数 3 是 IO a 我希望它更像：

subPrompt :: Text -> (Text -> Bool) -> prompt -> IO (Maybe (Text, a))

但我知道我做不到。我一直在想办法让签名更清楚第三个参数是什么。有什么方法可以定义更清晰的类型吗？或者我想太多了，IO a 实际上很好 - 我对 haskell 还是很陌生。

Answer 1

一种方法是将这两个东西具体化为一个数据结构。所以：

{-# LANGUAGE GADTs #-}

data Prompt a where
    Prompt :: Text -> (Text -> Either Text a) -> Prompt a
    SubPrompt :: Text -> (Text -> Bool) -> Prompt a -> Prompt (Maybe (Text, a))

现在因为SubPrompt 的第三个参数是Prompt，所以您知道它必须是对SubPrompt 或Prompt 的调用——绝对不是一些可能进行文件系统访问的任意IO 操作或其他一些讨厌的事情。

然后你可以为这个微型 DSL 写一个解释器到IO：

runPrompt :: Prompt a -> IO a
runPrompt (Prompt cue validator) = {- what your old prompt used to do -}
runPrompt (SubPrompt cue deeper sub) = {- what your old subPrompt used to do,
                                          calling runPrompt on sub where needed -}

除了确保您没有任意IO 作为SubPrompt 的参数的好处之外，这还有一个好处是它使测试更容易。稍后您可以实现第二个完全纯的解释器；比如说，类似这样的东西，它将一个文本列表视为用户输入，并返回一个提示输出的文本列表：

data PromptResult a = Done a | NeedsMoreInput (Prompt a)

purePrompt :: Prompt a -> [Text] -> ([Text], PromptResult a)
purePrompt = {- ... -}

Answer 2

将第二个提示设置为简单的IO a 并没有错 - 特别是如果您在某处记录它是什么。

也就是说，是的，使类型尽可能不言自明是一种很好的做法；你可以创建一个别名：

type Prompt a = IO a

然后在 subPrompt 的签名中使用：

subPrompt :: Text -> (Text -> Bool) -> Prompt a -> IO (Maybe (Text, a))

这使得签名更加不言自明，同时仍然允许您将任何IO a 作为第三个参数传递（关键字type 只是创建一个别名）。

但是等等，还有更多：你宁愿不要意外传递任何实际上不是提示的IO a！你不想给它传递一个 IO 动作，比如发射导弹......

所以，我们可以声明一个实际的 Prompt 类型（不仅仅是一个别名，而是一个真正的类型）：

newtype Prompt a = Prompt { getPrompt :: IO a }

这允许您将IO a 类型的任何值包装在一个类型中，确保它不会与具有相同类型但语义不同的其他函数混淆。

subPrompt 的签名和之前一样：

subPrompt :: Text -> (Text -> Bool) -> Prompt a -> IO (Maybe (Text, a))

但现在你不能将任何旧的IO a 传递给它；例如，要传递您的prompt，您必须将其包装起来：

subPrompt "Do we proceed?" askYesNo (Prompt (prompt "Please enter your name" processName))

（subPrompt 将无法直接调用它，但必须从包装器内部提取“提示”：let actualPrompt = getPrompt wrappedPrompt）