Elm - 列表

---

---

列表、元组和记录数据结构可以用来存储值的集合。

本章讨论如何在 Elm 中使用列表。

列表是同构值的集合。列表中的值必须都是相同的数据类型。

使用变量存储值时，请考虑以下限制：

• 变量本质上是标量的。换句话说，在声明时，一个变量只能保存一个值。这意味着要在程序中存储 n 个值，需要 n 个变量声明。因此，当需要存储大量值时，使用变量是不可行的。

• 程序中的变量以随机顺序分配内存，因此难以按声明顺序检索/读取值。

语法

List_name = [value1,value2,value3.....valuen]

示例

以下示例演示如何在 Elm 中使用列表。请在 elm REPL 中尝试此示例：

> myList1 = [10,20,30]
[10,20,30] : List number
> myList2 = ["hello","world"]
["hello","world"] : List String

如果尝试将不同类型的添加到列表中，编译器将抛出类型不匹配错误。如下所示。

> myList = [1,"hello"]
-- TYPE MISMATCH 
--------------------------------------------- 
repl-temp-000.elm

The 1st and 2nd entries in this list are different types of values.

4| [1,"hello"]
^^^^^^^
The 1st entry has this type:
   number
But the 2nd is:
   String

列表操作

下表显示了列表的常用操作：

isEmpty

此函数返回列表是否为空。

语法

List.isEmpty list_name

要在 elm REPL 中检查函数签名，请键入以下内容：

> List.isEmpty
<function> : List a -> Bool

示例

> List.isEmpty
<function> : List a -> Bool

> List.isEmpty [10,20,30]
False : Bool

reverse

此函数反转列表。

语法

List.reverse list_name

要在 elm REPL 中检查函数签名，请键入以下内容：

> List.reverse
<function> : List a -> List a

示例

> List.reverse [10,20,30]
[30,20,10] : List number

length

此函数返回列表的长度。

语法

List.length list_name

要在 elm REPL 中检查函数签名，请键入以下内容：

> List.length
<function> : List a -> Int

示例

> List.length [10,20,30]
3 : Int

maximum

此函数返回非空列表中的最大元素。

语法

List.maximum list_name

要在 elm REPL 中检查函数签名，请键入以下内容：

> List.maximum
<function> : List comparable -> Maybe.Maybe comparable

示例

> List.maximum [10,20,30]
Just 30 : Maybe.Maybe number
> List.maximum []
Nothing : Maybe.Maybe comparable

minimum

此函数返回非空列表中的最小元素。

语法

List.minimum list_name

要在 elm REPL 中检查函数签名，请键入以下内容：

> List.minimum
<function> : List comparable -> Maybe.Maybe comparable

示例

> List.minimum [10,20,30]
Just 10 : Maybe.Maybe number

sum

此函数返回列表中所有元素的和。

语法

List.sum list_name

要在 elm REPL 中检查函数签名，请键入以下内容：

> List.sum
<function> : List number -> number

示例

> List.sum [10,20,30]
60 : number

product

此函数返回列表中所有元素的积。

语法

List.product list_name

要在 elm REPL 中检查函数签名，请键入以下内容：

<function>  : List number ->  number

示例

List.product [10,20,30]
6000 : number

sort

此函数将列表中的值从低到高排序。

语法

List.sort list_name

要在 elm REPL 中检查函数签名，请键入以下内容：

> List.sort
<function> : List comparable -> List comparable

示例

> List.sort [10,20,30]
[10,20,30] : List number

concat

此函数将多个列表连接成一个列表。

语法

List.concat [ [list_name1],[list_name2],[list_name3],.....[list_nameN] ]

要在 elm REPL 中检查函数签名，请键入以下内容：

> List.concat
<function> : List (List a) -> List a

示例

> List.concat [[10,20], [30,40],[50,60]]
[10,20,30,40,50,60] : List number

append

此函数将两个列表组合在一起。

语法

List.append [list_name1] [list_name2]

要在 elm REPL 中检查函数签名，请键入以下内容：

> List.append
<function> : List a -> List a -> List a

示例

> List.append [10,20] [30,40]
[10,20,30,40] : List number

++ 运算符也可以用来将一个列表添加到另一个列表。如下例所示：

> [10.1,20.2] ++ [30.3,40.4]
[10.1,20.2,30.3,40.4] : List Float

range

此函数创建一个数字列表，每个元素递增 1。将列表中应包含的最小和最大数字传递给函数。

语法

List.range start_range end_range

要在 elm REPL 中检查函数签名，请键入以下内容：

> List.range
<function> : Int -> Int -> List Int

示例

> List.range 1 10
[1,2,3,4,5,6,7,8,9,10] : List Int

filter

此函数从输入列表中过滤出一组值。仅保留通过测试的值。

语法

List.filter test_function input_list

要在 elm REPL 中检查函数签名，请键入以下内容：

> List.filter
<function> : (a -> Bool) -> List a -> List a

示例

以下示例从输入列表中过滤所有偶数：

> List.filter (\n -> n%2==0) [10,20,30,55]
[10,20,30] : List Int

head

此函数返回输入列表的第一个元素。

语法

List.head input_list

要在 elm REPL 中检查函数签名，请键入以下内容：

> List.head
<function> : List a -> Maybe.Maybe a

示例

> List.head [10,20,30,40]
Just 10 : Maybe.Maybe number
> List.head []
Nothing : Maybe.Maybe a

tail

此函数返回列表中第一个元素之后的所有元素。

语法

List.tail input_list

要在 elm REPL 中检查函数签名，请键入以下内容：

> List.tail
<function> : List a -> Maybe.Maybe (List a)

示例

> List.tail [10,20,30,40,50]
Just [20,30,40,50] : Maybe.Maybe (List number)
> List.tail [10]
Just [] : Maybe.Maybe (List number)
> List.tail []
Nothing : Maybe.Maybe (List a)

使用 Cons 运算符

cons 运算符 (::) 将元素添加到列表的开头。

示例

> 10::[20,30,40,50]
[10,20,30,40,50] : List number

要添加的新元素和列表中值的 数据类型必须匹配。如果数据类型不匹配，编译器将抛出错误。

> [1,2,3,4]::[5,6,7,8]
-- TYPE MISMATCH ---------------------------------
------------ repl-temp-000.elm

The right side of (::) is causing a type mismatch.

3| [1,2,3,4]::[5,6,7,8]
			  ^^^^^^^^^
(::) is expecting the right side to be a:

   List (List number)

But the right side is:

   List number
Hint: With operators like (::) I always check the left side first. If it seems fine, 
I assume it is correct and check the right side. So the 
problem may be in how the left and right arguments interact.

列表是不可变的

让我们检查 Elm 中的列表是否不可变。将第一个列表 *myList* 与值 1 连接后，会创建一个新列表并将其返回到 *myListCopy*。因此，如果我们显示初始列表，其值将不会更改。

> myList = [10,20,30]
[10,20,30] : List number
> myListCopy = 1::myList
[1,10,20,30] : List number
> myList
[10,20,30] : List number
>myList == myListCopy
False : Bool