对Discrete Mathematics Using a Computer的第一章Introduction to Haskell进行总结。环境Windows，关于函数的部分太长了，分开写。
常用的对列表list操作的函数common functions on lists
length :: [a] -> Int --返回list中元素的数量
or :: [Bool] -> Bool --对Bool的list中的所有元素进行||，如果有True，则时True
and :: [Bool] -> Bool --对Bool的list中的所有元素进行&&，如果有False，则False
(!!) :: [a] -> Int -> a --返回指定下标的元素，下标从0开始，如：
[1, 2, 3] !! 0 => 1
"abcde" !! 2 => 'c'
elem :: Eq a => a -> [a] -> Bool --判断该元素是否在list中，在则True，不再则False
null :: [a] -> Bool --判断list是否为空，空则True，非空则False
head 和 tail对list[1,2,3,4,5,6,7,8,9,10]的结果是：
1 [2, 3, 4, 5, 6, 7, 8, 9, 10]
head --' <--------------tail-------------->
last 和 init对list[1,2,3,4,5,6,7,8,9,10]的结果是：
[1, 2, 3, 4, 5, 6, 7, 8, 9] 10
<---------------init------------> '-- last
take :: Int -> [a] -> [a] --从list中取出指定数量的元素，如：
take 0 [1, 2, 3] => []
take 2 [1, 2, 3] => [1, 2]
drop :: Int -> [a] -> [a] --从list中去除指定数量的元素，如：
drop 2 [1, 2, 3] => [3]
drop 0 [1, 2, 3] => [1, 2, 3]
(++) :: [a] -> [a] -> [a] --将两个相同类型的list连接在一起，如：
[1, 2] ++ [3, 4, 5] => [1, 2, 3, 4, 5]
[] ++ "abc" => "abc"
map :: (a -> b) -> [a] -> [b] --将原本只对一个元素应用的操作，应用到该list的所有元素中，类似于C的for循环。如：
map toUpper "the cat and dog" => "THE CAT AND DOG"
map (* 10) [1, 2, 3] => [10, 20, 30]
filter :: (a -> Bool) -> [a] -> [a] --将list中结果为False的筛选除去留下结果为True的元素，如：
zip :: [a] -> [b] -> [(a, b)] --分别从[a]和[b]中取出元素两两配对pair(2-tuples)，一方用完后，另一方剩余的舍弃掉，如：
zipWith :: (a -> b -> c) -> [a] -> [b] -> [c] --分别从[a]和[b]中取出元素作为a的参数，多余的舍弃。如：
fold function: 和map类似，但结果是一个值，有3个参数：操作符 a list。a作为默认值，该函数是从a和list的一个元素进行操作符计算然后和下一个list中的元素进行操作，最终得出一个值，分为foldl和foldr对应了从list的不同方向进行操作。因为有a的存在保证的对空list也能进行操作，其结果就是a。
foldl :: (a -> b -> b) -> b -> [a] -> b {-
从[a]的左端开始进行操作， 如 foldl (-) a [p, q, r, s]
(-) a p ------------1 注意a在左侧
(-) ( ) q -----------2
(-) ( ) r --------3
(-) ( ) s ----4
-}
foldr :: (a -> b -> b) -> b -> [a] -> b {-
从[a]的右端开始进行操作， 如 foldr (-) a [p, q, r, s]
(-) s a --------1 注意a在右侧
(-) r ( ) -------2
(-) q ( ) ----3
(-) p ( ) ---4
-}
. 操作(the composition operator)，相当于连续进行2个函数操作：函数2.函数1 a ，先执行函数1 a，再将其结果作为函数2的参数。如：
