Haskell语言学习笔记（48）Data.Tuple

时间：2023-03-09 20:19:14
Haskell语言学习笔记（48）Data.Tuple

Data.Tuple

fst                     :: (a,b) -> a

fst (x,_)               =  x

snd                     :: (a,b) -> b

snd (_,y)               =  y

curry                   :: ((a, b) -> c) -> a -> b -> c

curry f x y             =  f (x, y)

uncurry                 :: (a -> b -> c) -> ((a, b) -> c)

uncurry f p             =  f (fst p) (snd p)

swap                    :: (a,b) -> (b,a)

swap (a,b)              = (b,a)

Data.Tuple 模块提供了针对元组的五个函数。

  • fst 取二元组的第一个成员。
  • snd 取二元组的第二个成员。
  • swap 交换二元组的两个成员。
  • curry :: ((a, b) -> c) -> a -> b -> c

    curry 柯里化，将原来接收二元组的函数改为接收两个参数的柯里化函数。

    curry ((x,y) -> x+y) = (\x y -> x+y)
  • uncurry :: (a -> b -> c) -> ((a, b) -> c)

    uncurry 去柯里化，将原来接收两个参数的柯里化函数改为接收二元组的函数。

    uncurry (\x y -> x+y) = ((x,y) -> x+y)
Prelude> fst (1,2)

1

Prelude> snd (1,2)

2

Prelude Data.Tuple> curry (\(x,y) -> x+y) 3 4

7

Prelude Data.Tuple> uncurry (\x y -> x+y) (3,4)

7

Prelude> uncurry max (1,2)

2

Prelude> uncurry min (1,2)

1

Prelude Data.Tuple> swap (1,2)

(2,1)

Data.Tuple.All

安装 tuple 模块。

$ cabal install tuple

Installed tuple-0.3.0.2

Prelude> :m +Data.Tuple.All

Prelude Data.Tuple.All>

tuple 模块提供了对多达32个成员的元组的支持。

同时该模块还引进了单个成员的元组 OneTuple 类型。

  • selN 取出元组的第N个成员。
  • updN 修改元组的第N个成员。
  • curryN, uncurryN 是标准库中curry, uncurry函数针对N个成员的元组的版本。
  • sequenceT 是标准库中 sequence 的元组版本。
Prelude Data.Tuple.All> sel1 (1,2,3,4)

1

Prelude Data.Tuple.All> sel4 (1,2,3,4)

4

Prelude Data.Tuple.All> upd1 5 (1,2,3,4)

(5,2,3,4)

Prelude Data.Tuple.All> upd4 5 (1,2,3,4)

(1,2,3,5)

Prelude Data.Tuple.All> sel1 (OneTuple 1)

1

Prelude Data.Tuple.All> upd1 5 (OneTuple 1)

OneTuple 5

Prelude Data.Tuple.All> curryN (\(x,y,z) -> x+y+z) 3 4 5

12

Prelude Data.Tuple.All> uncurryN (\x y z -> x+y+z) (3,4,5)

12

Prelude Data.Tuple.All> sequenceT (print 3, print 4)

3

4

((),())

Data.Tuple.Extra

安装 extra 模块。

$ cabal install extra

Installed extra-1.6

Prelude> :m +Data.Tuple.Extra

Prelude Data.Tuple.Extra>
Prelude Data.Tuple.Extra> first succ (1,"test")

(2,"test")

Prelude Data.Tuple.Extra> second reverse (1,"test")

(1,"tset")

Prelude Data.Tuple.Extra> (succ *** reverse) (1,"test")

(2,"tset")

Prelude Data.Tuple.Extra> (succ &&& pred) 1

(2,0)

Prelude Data.Tuple.Extra> dupe 12

(12,12)

Prelude Data.Tuple.Extra> both succ (1,2)

(2,3)

Prelude Data.Tuple.Extra> let a = (1,2,3)

Prelude Data.Tuple.Extra> print $ (fst3 a) + (snd3 a) + (thd3 a)

6

相关文章