Question

下一行应该说明它必须如何工作..

在PKIXRevocationChecker

之后

[14,2,344,41,5,666] 在[(14,2),(2,1),(344,3),(5,1),(666,3)]

之后

["Zoo","School","Net"]

到目前为止我的代码

[("Zoo",3),("School",6),("Net",3)]

我想弄清楚第二行中的问题是什么。

Answer 1

如果您将数字转换为字符串（使用show），则可以对其应用length：

Prelude> let zipWithLength = map (\x -> (x, length (show x)))
Prelude> zipWithLength [14,2,344,41,5,666]
[(14,2),(2,1),(344,3),(41,2),(5,1),(666,3)]

但是，您不能在字符串列表中使用相同的功能：

Prelude> zipWithLength ["Zoo","School","Net"]
[("Zoo",5),("School",8),("Net",5)]

这些数字不是字符串的长度，而是它们的表示形式：

Prelude> show "Zoo"
"\"Zoo\""
Prelude> length (show "Zoo")
5

如评论中所述，其他类型的元素可能会出现类似的问题：

Prelude> zipWithLength [(1.0,3),(2.5,3)]
[((1.0,3),7),((2.5,3),7)]
Prelude> show (1.0,3)
"(1.0,3)"
Prelude> length (show (1.0,3))
7

Answer 2

如果要对列表的每个元素应用函数，那就是map :: (a -> b) -> [a] -> [b]。因此，地图采用函数f和列表xs，并生成列表ys，以便ys的 i -th元素，f已应用于xs的 i -th元素。

所以现在唯一的问题是我们想要的映射功能。我们想要一个元素x，并返回一个2元组(x, length x)，我们可以用 lambda表达式来表达：

mapwithlength = map (\x -> (x, length x))

或者我们可以使用ap :: Monad m => m (a -> b) -> m a -> m b：

import Control.Monad(ap)

mapwithlength = map (ap (,) length)

问题是这不适用于Int，因为它们没有length。我们可以在这里使用show，但是还有一个问题：如果我们在show上执行String，我们会得到一个字符串文字（这意味着我们得到一个字符串，引号，以及某些字符被转义的位置）。基于这个问题，我们不希望这样。

我们可以为此定义一个参数化函数：

mapwithlength f = map (ap (,) (length . f))

我们基本上可以将它留给用户。如果他们想要使用整数，他们必须用：

来调用它

forintegers = mapwithlength show

和String s：

forstrings = mapwithlength id

Answer 3

安装number-length软件包后，您可以执行以下操作：

module Test where
import           Data.NumberLength

-- use e.g for list of String
withLength :: [[a]] -> [([a], Int)]
withLength = map (\x -> (x, length x))

-- use e.g for list of Int
withLength' :: NumberLength a => [a] -> [(a, Int)]
withLength' = map (\x -> (x, numberLength x))

示例：

>>> withLength ["Zoo", "bear"]
[("Zoo",3),("bear",4)]
>>> withLength' [14, 344]
[(14,2),(344,3)]

Answer 4

正如bli指出的那样，使用length (show n)计算数字的长度不会转移到计算字符串的长度，因为show "foo"变为"\"foo\""。由于某些东西的长度并不明显，你可以使用长度函数对zip函数进行参数化：

zipWithLength :: (a -> Int) -> [a] -> [(a, Int)]
zipWithLength len = map (\x -> (x, len x))

使用示例：

> zipWithLength (length . show) [7,13,666]
[(7,1),(13,2),(666,3)]

> zipWithLength length ["Zoo", "School", "Bear"]
[("Zoo",3),("School",6),("Bear",4)]

> zipWithLength (length . concat) [[[1,2],[3],[4,5,6,7]], [[],[],[6],[6,6]]]
[([[1,2],[3,4],[5,6,7]],7),([[],[],[6],[6,6]],3)]

Haskell，用它的长度压缩列表的元素

4 个答案: