如何从 Haskell 中带参数的函数中绘制？

Question

我知道在do 块内我可以从一元的东西中提取，“提取”它的内容。例如，如果我有一个带有签名的函数：

myFunction :: MyReader (Set Int)

我可以在 do 块内执行此操作：

mySet <- myFunction

这会给我想要的Set Int。但是，如果我改变我的函数，让它接受一个参数：

myFunction :: Int -> MyReader (Set Int)

我不能再做我想做的事了：

myFunction' <- myFunction

编译失败，出现错误Couldn't match expected type 和Probable cause: ‘myFunction'’ is applied to too few arguments。尝试这样的事情甚至在语法上都不正确：

myFunction' x <- myFunction x

我确实希望 myFunction' 的类型为 Int -> Set Int。我无法弄清楚或找到任何地方如何做我想做的事。有人可以帮忙吗？

Answer 1

这可能是您正在寻找的：（未经测试）

data MyEnv = MyEnv { myFn :: Int -> Set Int }
type MyReader a = Reader MyEnv a

myFunction :: Int -> MyReader (Set Int)

something = do
     ...
     myFunction' <- reader (\env x -> runReader (myFunction x) env)
     -- here myFunction' :: Int -> Set Int

不过，它有点难看，因为它打破了抽象并重新构建了它。也许有一种更简洁的方法，但由于不可能在任意 monad 中做同样的事情，我们确实需要以某种方式打破抽象。

您至少可以将血淋淋的细节保存在辅助函数中：

flipReader :: (a -> Reader b c) -> Reader b (a -> c)
flipReader r = reader (\y x -> runReader (r x) y)

然后：

something = do
    ...
    myFunction' <- flipReader myFunction

Answer 2

这将起作用：

result <- myFunction x

基本上，myFunction 的类型为 a -> MyReader b，所以myFunction x（其中x :: a）的类型为MyReader b。如您所知，您可以使用<- 从MyReader b 获取值，因此上面的表达式有效。

Haskell “do” 表示法有点（非常松散地说）像一种小型简单的脚本语言，您可以在其中将“命令”链接在一起（再次，这是非常松散的说法），并将结果“存储”在“变量”中”。

  var1 <- command1
  var2 <- command2 var1

可以读作

  run command1, store the result in var1
  then
  run command2 using var1 as a parameter, store the result in var2

警告....

这个类比会在很多 monad 中失效，并且是完全错误的，但在早期，这几乎是初学者在一段时间内看到的唯一模式。