递归函数

Question

我在练习中遇到问题，我应该定义一个函数，该函数将整数、字符和字符串作为输入，并返回将字符放入字符串中整数指定的位置的结果，例如，给出 3、'a' 和 "haskell" 到该函数应生成 "hasakell"。

putinto :: Int -> Char -> String -> String
putinto

Answer 1

这样想：有一个列表，其中第一个元素称为“x”，列表的其余部分称为“xs”（在 Haskell 中，这将写为 (x:xs) ），您要么将给定值添加到位置为 0 的列表中。否则，您将在列表的其余部分递归地调用自己（并减少位置）。

putinto :: Int -> a -> [a] -> [a]
putinto 0 value list   = value : list
putinto n value (x:xs) = x : putinto (n-1) value xs

如果看起来很奇怪，(x:xs) 实际上是一个“解构”列表。 x 表示列表的第一个元素，xs（“s”表示“复数”，因此它是“x”的复数）是列表的其余部分。

因此，用零调用它实际上会在给定值前面加上给定值，就像用

putinto 0 'a' "haskell"  -- yields 'ahaskell'

两个调用它一样：

putinto 2 'a' "haskell"
-- same as 'h' : putinto 1 'a' "askell"
-- same as 'h' : 'a' : putinto 0 'a' "skell"
-- same as 'h' : 'a' : 'a' : "skell"
-- same as "haaskell"

不过，您仍然需要关心错误检查（如果给定位置为负数或大于列表长度怎么办？）。

Answer 2

int j = 3;
char a = 'a';
string x = "haskell";

string part1 = x.Substring(0, j);
string part2 = x.Substring(j);
string result = part1 + a + part2;

这在 C# 中可以解决问题

Answer 3

在为 Haskell 中涉及列表的问题编写显式递归解决方案之前，值得检查一下是否可以使用 Prelude 或 Data.List。在这种情况下 splitAt 可以提供帮助：

splitAt 3 "haskell"
("has","kell")

因此，您的问题可以通过拆分、consing 和附加轻松解决：

putInto :: Int -> Char -> String -> String
putInto n c xs = let (ys,zs) = splitAt n xs in ys ++ (c:zs)

只是为了好玩，上面的内容也可以使用 的应用实例以无点风格编写>(->r)：

putInto :: Int -> Char -> String -> String
putInto n c = ((++) . fst <*> (c:) . snd) . splitAt n

Answer 4

我认为这应该很容易阅读。我列举了几行来解释：

1. putInto :: Int -> Char -> String -> String
2. putInto 0 a xs     = a:xs
3. putInto _ a []     = [a]
4. putInto n a (x:xs) = x : putInto (n-1) a xs

这里发生了什么？第一行是类型签名。第二行检查您是否希望将字符设置在前面（即索引 0）。

第三行和第四行适用于我们希望将其插入到第 0 个索引之后的情况。第三行检查我们要插入的列表是否为空，在这种情况下我们只返回仅包含 a 的列表。

在第四行中，我们知道字符串的第一个索引仍然是第一个，因此我们只是在尾部递归，沿途根据需要减少 n 。