Haskell：有时返回函数的函数

Question

你如何编写一个可以返回值或其他函数的函数？

例如：

Function Foo (x)
    If X = 0 Return "Done" 
    Else Return a Function that calls Foo(x-1)

Answer 1

在haskell中，函数的返回类型只能依赖于其参数的类型，并且在具有多态返回类型的函数的情况下，如何使用返回值。 特别是函数的返回类型不能取决于参数的值。

换句话说：你不能直接做你想做的事。 在要返回两种类型的一种情况下，你通常可以在类型Either ab定义为data Either ab = Left a | Right b data Either ab = Left a | Right b ，它允许你返回类型的值， a包裹在Left或类型的值b包裹在Right 。 然后，您可以使用模式匹配以类型安全的方式检索值。

但是，因为在这种情况下， b的类型必须是无限的，这不起作用，你必须为此定义自己的包装器类型。 像这样：

data MyResult = Str String | Fun ( () -> MyResult)
foo 0 = Str "done"
foo x = Fun (\ () -> foo (x-1))

foo现在有类型Num a => a -> MyResult 。 但是每当你调用foo你必须进行模式匹配，看看是否有一个带有字符串的Str或者带有函数的Fun。

还要注意，如果你想返回一个函数而不是一个值来延迟执行，这在haskell中没有意义，因为它是懒惰的，并且在使用之前通常不会对它们进行评估。

Answer 2

从伪代码的外观来看，我猜你期望返回一个“无效”函数，即不带参数的函数，并在调用时调用'Foo（x-1）'。

如果是这样，那么正如sepp2k的答案结束时指出的那样，Haskell中存在这样的需求 - 这就是默认情况下会发生的事情。 特别：

foo x = if x == 0 then "Done"
                  else foo(x-1)

正是这样做的：通过调用，也就是说，返回的值foo(7)是一件事程序需要时，它的价值将评估foo(6) 在if表达式的求值中不会评估递归调用。

Answer 3

你需要考虑函数的类型：如果Foo是类型（Int - > t），那么t是什么？ 在两种情况下都需要返回t类型的东西。 我认为这有点难，因为我不认为在同一个函数中可以是String类型或函数类型（ - >）。

Answer 4

我知道这不会直接回答你的问题，但我认为你需要扩展你对“返回一个函数”意味着什么的想法。 例如功能：

mean3 :: Float -> Float -> Float -> Float
mean3 x y z = (x + y + z) / 3

可以被认为是“取3个数字并返回一个数字”。 或者它可以被认为是“一个函数取两个数字，并将一个函数从一个数字返回一个数字”：

mean3 :: Float -> Float -> (Float -> Float)

mean1 :: (Float -> Float)
mean1 = mean3 1 2

Answer 5

刚刚接受sepp2k的好回答。 我认为你在Haskell中缺少一个基本概念 - 你总是返回一个函数。 甚至各种各样的“价值”也是一种功能。

例如，胸围打开ghci并尝试：

> :t 5
:: (Num t) => t

只是一个不输入的函数，返回值是一个Num。

> :t "What  is this?"
:: [Char]

同样，只是一个没有值的函数，返回[Char]

“但这些都只是价值观！我不相信！”

那么主要的是什么？ （假设你已定义）：

> :t main
:: IO ()

只是一个返回IO（）实例的函数。

Answer 6

{-# LANGUAGE ExistentialQuantification #-}

data MyResult = Str String | forall a. Fun a -- deriving Show

foo 0 = Str "done"
foo x = Fun (\ () -> foo (x-1))

那种工作，但你不能导出一个存在类型（methinks）所以你需要像这样调用foo： (\\(Main.Str x) -> x) (Main.foo 0) 。

如果你知道如何让主模块成为ghci的焦点，请发表评论。

Answer 7

通常，我们将其写为

foo _ = "Done"

或者，毫无意义地，

foo = const "Done"

（当然，除非我们真的想得到负数的_|_ ;-)

Answer 8

foo x =
    if x<=0 then "Done"
            else foo2 (x)

foo2 x = foo (x-1) ++ foo (x-1)

找到了一个非平凡的例子。 这似乎有效。