如何在满足给定条件的榆树中创建一组三元组？

Ray Toal 发表于 Dev

雷·托尔

我知道Elm既没有for循环（不足为奇），也没有理解力（有些出乎意料）。我知道map应该在可能会有理解的地方使用它。

但是，如何从三个范围变量构建一组三元组呢？我对生成这些元组很感兴趣，这在Python中很简单：

>>> [(x,y,z) for z in range(5) for y in range(z) for x in range(y)]
[(0, 1, 2), (0, 1, 3), (0, 2, 3), (1, 2, 3), (0, 1, 4), (0, 2, 4), 
(1, 2, 4), (0, 3, 4), (1, 3, 4), (2, 3, 4)]

我不确定如何在榆木中制作这种东西。这是我尝试过的：

import Text (asText)
import List (map)
main =
  asText <| map (\z -> map (\y -> map (\x -> (x,y,z)) [0..y-1]) [0..z-1]) [0..4]

这产生

[[],[[]],[[],[(0,1,2)]],[[],[(0,1,3)],[(0,2,3),(1,2,3)]],
[[],[(0,1,4)],[(0,2,4),(1,2,4)],[(0,3,4),(1,3,4),(2,3,4)]]]

这很接近，但需要展平。

我是Elm的新手，所以我不知道生成这些元组的正确方法。我大概可以弄清楚如何弄平我想出的列表，代码本身看起来很冗长（我应该使用List.map3吗？），对于较大的范围，我想按需生成值。是否有办法将这些值生成为信号？

阿帕纳什卡

展平

最小的变化，使您的工作，例如，你所希望的方式是改变两个外map有concatMap：

import Text (asText)
import List (map,concatMap)
main =
  asText <| concatMap (\z -> concatMap (\y -> map (\x -> (x,y,z)) [0..y-1]) [0..z-1]) [0..4]

根据您喜欢阅读代码的方式，您可能更喜欢以下代码：

import Text (asText)
import List (map,concatMap)

list = 
  [0..4] |> concatMap (\z -> 
    [0..z-1] |> concatMap (\y -> 
      [0..y-1] |> map (\x -> (x,y,z))))

main =
  asText list

实际上，这不是您可以做的事情map3，因为它仅适用于彼此不依赖的列表。

按需生成

信号可能不便于按需生成。除非涉及明显的时间成分，否则即使列表结束，信号也不是正确的选择。

要生成某些东西，您应该定义一个惰性序列。您可以使用函数来建模懒惰，也可以使用懒惰库来记住懒惰动作。

要创建自己的惰性序列，只需使用以下命令：

type LazySeq a = End | Item a (() -> LazySeq a)

map : (a -> b) -> LazySeq a -> LazySeq b
map f ls =
  case ls of
    End -> End
    Item i next -> Item (f i) (\() -> map f (next ()))

append : LazySeq a -> LazySeq a -> LazySeq a
append l r =
  case l of
    End -> r
    Item i next -> Item i (\() -> append (next ()) r)

concat : LazySeq (LazySeq a) -> LazySeq a
concat ls =
  case ls of
    End -> End
    Item i next ->
      case i of
        End -> concat (next ())
        Item i2 next2 -> Item i2 (\() -> append (next2 ()) (concat (next ())))

concatMap : (a -> LazySeq b) -> LazySeq a -> LazySeq b
concatMap f ls =
  concat (map f ls)