functional-programming - 如何在功能上将嵌套哈希转换为记录列表？

Question

假设我有一个描述货币数量的嵌套哈希:

my %money = (coins => {'50c' => 4}, notes => {'10' => 1, '20' => 5});

我想要的格式是记录列表:

my @money = [
  (:type('coins'), :subtype('50c'), value => 4),
  (:type('notes'), :subtype('10'), value => 1),
  (:type('notes'), :subtype('20'), value => 5),
];

最明显的答案是循环:

my @money;
for %money.kv -> $type, %sub-records {
  for %sub-records.kv -> $subtype, $value {
    @money.push: (:$type, :$subtype, :$value);
  }
}

但我对将变量与填充它的代码分开很反感。接下来，我尝试在输入哈希上创建具有函数转换的变量:

%money.kv.map: -> $k1, %hsh2 { :type($k1) X, %hsh2.kv.map(->$k2, $v2 {:subtype($k2), :$v2, :value($v2)}) }

但是我没有得到正确的嵌套。我想要一个平面列表列表。另外，上面的内容读起来一团糟。

妥协是 gather/take 构造，它让我可以通过迭代构造一个列表，而在主范围内没有任何临时/未初始化的垃圾:

my @money = gather for %money.kv -> $type, %sub-records {
  for %sub-records.kv -> $subtype, $value {
    take (:$type, :$subtype, :$value);
  }
};

但我很好奇，仅通过 map、X 或 Z 等列表转换来实现这一点的正确方法是什么，和平坦？ (“key1”、“key2”和“value”是很好的字段名称，因为算法不应该是特定于域的。)

编辑:我应该提一下，在 Perl 6 中，gather/take 是最易读的解决方案(最适合非只写的代码)。我仍然对纯函数式解决方案感到好奇。

Answer 1

my @money = %money.map:
-> ( :key($type), :value(%records) ) {
  slip

      :$type xx *
    Z
      ( 'subtype' X=> %records.keys   )
    Z
      (   'value' X=> %records.values )
}

你可以做 .kv.map: -> $type, %records {...}

---

• -> ( :key($type), :value(%records) ) {…} 解构一个 Pair 对象
• :$type 创建一个type => $type 对
• :$type xx * 无限重复 :$type(Z 在任何输入停止时停止)
• ('subtype' X=> %records.keys) 创建对列表
  (请注意，如果您不修改调用之间的哈希，则 .keys 和 .values 的顺序相同)
• Z 压缩两个列表
• slip 导致序列的元素滑入外层序列
  (flat 会太扁平)

---

如果你想让它们排序

my @money = %money.sort.map: # 'coins' sorts before 'notes'
-> ( :key($type), :value(%records) ) {

  # sort by the numeric part of the key
  my @sorted = %records.sort( +*.key.match(/^\d+/) );

  slip

      :$type xx *
    Z
      ( 'subtype' X=> @sorted».key   )
    Z
      (   'value' X=> @sorted».value )
}

你可以做 .sort».kv.map: -> ($type, %records) {…}