如何通过在给定的元组中添加元素来在Haskell中构建新的元组

Question

如何将元素添加到元组中？

说，我有一个元组：

info = (13, "Arrabella")

现在，我想创建一个新的元组，以连接给定的元组加一个新元素3.17，因此开始使用a 当生成的元组应该像以下：

(13, "Arrabella", 3.17)

知道该怎么做？我用++运算符我用list进行此操作似乎没有用于元组...

Answer 1

您可以将现有值映射到新的3翼元组中，因此：

info2 = (i1, i2, 3.17) where (i1, i2) = info

++运算符我用来使用列表来执行此操作，似乎没有用于元组...

的确， （++）:: [a] - ＆gt; [a] - ＆gt; [a]获取两个列表，并返回一个列表，该列表是两个给定列表的串联。这也意味着列表中的项目都具有相同的类型，并且两个列表中的项目具有相同的类型。

一个人可以制作一个任意长度的打字机来连接元素，

{-# LANGUAGE FlexibleInstances, FunctionalDependencies, MultiParamTypeClasses #-}

class TupleAppend a b c | a b -> c where
    (+++) :: a -> b -> c

instance TupleAppend (a, b) (c, d) (a, b, c, d) where
    (a, b) +++ (c, d) = (a, b, c, d)

instance TupleAppend (a, b) (c, d, e) (a, b, c, d, e) where
    (a, b) +++ (c, d, e) = (a, b, c, d, e)

-- …


instance TupleAppend (a, b, c) (d, e) (a, b, c, d, e) where
    (a, b, c) +++ (d, e) = (a, b, c, d, e)

instance TupleAppend (a, b, c) (d, e, f) (a, b, c, d, e, f) where
    (a, b, c) +++ (d, e, f) = (a, b, c, d, e, f)

-- …

但这也不会有帮助，因为您在这里在元组中添加一个元素，而不是连接两个元素。您可以创建一个额外的类型来附加一个项目：

{-# LANGUAGE FlexibleInstances, FunctionalDependencies, MultiParamTypeClasses #-}

class TupleAddL a b c | a b -> c where
    (<++) :: a -> b -> c

class TupleAddR a b c | a b -> c where
    (++>) :: a -> b -> c

instance TupleAddL a (b, c) (a, b, c) where
    a <++ (b, c) = (a, b, c)

instance TupleAddR (a, b) c (a, b, c) where
    (a, b) ++> c = (a, b, c)

instance TupleAddL a (b, c, d) (a, b, c, d) where
    a <++ (b, c, d) = (a, b, c, d)

instance TupleAddR (a, b, c) d (a, b, c, d) where
    (a, b, c) ++> d = (a, b, c, d)

-- …

因此，您可以使用（13，“ arrabella”）++＆gt; 3.17创建一个3元组。

Answer 2

您需要使用模式来解构元组，然后构建新的元组。

在ghci中，您必须在模式的前面使用Let：

Prelude> let (nr, str) = (13, "Arrabella")
Prelude> (nr, str, 13.7)
(13,"Arrabella",13.7)

在源文件中，您可以直接输入它，而无需Let：

(a, b) = (13, "Arrabella")

加载源文件在带有的解释器中：l sourcename.hs和：

*Main> (a, b, 13.7)
(13,"Arrabella",13.7)