Question

我有一个字符串列表，是否可以将其转换为整数列表？
E.g：

["1","2"] -> [1,2]

Answer 1

好吧

f :: [String] -> [Int]
f = map read

没有

Answer 2

这失败了：

map read ["1","2"]
[*Exception: Prelude.read: no parse

这样做的方法是：

 map (read::String->Int) ["1","2"]
 [1,2]
 :: [Int]

在GHCI之外，在.hs文件中，它将是：

let intList = map (read::String->Int) ["1","2"]

Answer 3

此类问题的一般答案是将任务分成几部分：[String] -> [Int]看起来像String -> Int和[a] -> [b]的组合。 Hoogle（链接）会给你两个结果，让我们看看...

$ hoogle'字符串 - ＆gt; INT'
  Test.HUnit.Base Label :: String - ＆gt;节点
  前奏错误:: [Char] - ＆gt;一个
  前奏长度:: [a] - ＆gt;诠释
  Data.List length :: [a] - ＆gt;诠释
  Data.Char digitToInt :: Char - ＆gt;诠释
  Data.Char ord :: Char - ＆gt;诠释
  Debug.Trace trace :: String - ＆gt; a - ＆gt;一个
  Network.BufferType buf_fromStr :: BufferOp a - ＆gt;字符串 - ＆gt;一个
  Network.Socket send :: Socket - ＆gt;字符串 - ＆gt; IO Int
  Graphics.UI.GLUT.Callbacks.Window Char :: Char - ＆gt;重点
  前奏阅读::阅读a =＆gt;字符串 - ＆gt;一个
  Text.Read read :: Read a =＆gt;字符串 - ＆gt;一个
  Data.String fromString :: IsString a =＆gt;字符串 - ＆gt;一个
  GHC.Exts fromString :: IsString a =＆gt;字符串 - ＆gt;一个
  Control.Monad.Trans.Error strMsg :: Error a =＆gt;字符串 - ＆gt;一个
  Control.Monad.Error.Class strMsg :: Error a =＆gt;字符串 - ＆gt;一个
  ...

呃，很多垃圾。我们可以先消除那些与你无关的包裹......

前奏错误:: [Char] - ＆gt;一个
  前奏长度:: [a] - ＆gt;诠释
  Data.List length :: [a] - ＆gt;诠释
  Data.Char digitToInt :: Char - ＆gt;诠释
  Data.Char ord :: Char - ＆gt;诠释
  前奏阅读::阅读a =＆gt;字符串 - ＆gt;一个
  Text.Read read :: Read a =＆gt;字符串 - ＆gt;一个
  Data.String fromString :: IsString a =＆gt;字符串 - ＆gt;一个
  Text.Printf printf :: PrintfType r =＆gt;字符串 - ＆gt; ř

error听起来不像你想要的那样。 length也没有。 digitToInt？听起来很对 - 实际上是有效的，但只有一位数的数字。 read？也许不是你期望的名字，但是如果你想到这是正确的事情：将字符串转换为更有意义的东西（如数字）就像阅读一些文本。

对，在另一方面，Hoogle为我们提供了我们想要的东西：

$ hoogle'[a] - ＆gt;并[b]'
  Prelude map ::（a - ＆gt; b） - ＆gt; [a] - ＆gt;并[b]
  Data.List map ::（a - ＆gt; b） - ＆gt; [a] - ＆gt;并[b]
  前奏concatMap ::（a - ＆gt; [b]） - ＆gt; [a] - ＆gt;并[b]
  Data.List concatMap ::（a - ＆gt; [b]） - ＆gt; [a] - ＆gt;并[b]
  Data.Maybe mapMaybe ::（a - ＆gt; Maybe b） - ＆gt; [a] - ＆gt;并[b]
  前奏周期:: [a] - ＆gt;并[a]
  Data.List cycle :: [a] - ＆gt;并[a]
  前奏init :: [a] - ＆gt;并[a]
  Data.List init :: [a] - ＆gt;并[a]
  前奏逆转:: [a] - ＆gt; [α]

正如你所看到的，大多数这些函数被称为“map”，这可能不再是你所期望的名字 - 但显然这就是这个操作被调用的东西！你正在寻找的那个是最简单的。

最后，我们需要结合这两个功能。 map需要另一个函数作为它的第一个参数 - 好吧，那显然是read然后！因此，您只需将map应用于read即可。下一个参数是[a]的列表：aha，我们已经完成了！

你可以通过启动ghci来检查这个：

前奏＆GT; ：t map read
map read :: Read b =＆gt; [String] - ＆gt;并[b]

这里仍有b而不是Int，但不要紧，b可以是您想要的任何类型！ - 只要它有Read个实例。 Int有：

前奏＆GT; ：i Int
  data Int = GHC.Types.I＃GHC.Prim.Int＃ - 在`GHC.Types'中定义
  实例有界Int - 定义在`GHC.Enum'中   实例Enum Int - 在`GHC.Enum'中定义   实例Eq Int - 定义在`GHC.Classes'中   实例积分Int - 定义在`GHC.Real'
  实例Num Int - 定义在`GHC.Num'中   实例Ord Int - 在“GHC.Classes”中定义   实例读取Int - 在“GHC.Read”中定义   instance Real Int - 在`GHC.Real'中定义   实例显示Int - 在`GHC.Show'中定义

将String列表转换为Int列表

3 个答案: