Feature #5133
closedArray#unzip as an alias of Array#transpose
Description
Array#zip の逆は Array#transpose なんですけど、
この対応関係が非常に分かり難いなと思いました。
Haskell には zip の逆をやる関数として unzip が用意されています。
unzip という名前は、「zip の逆をやりたい」と思ったときに
(transpose よりは) 思い付きやすい名前だと思います。
ということで Array#unzip を Array#transpose のエイリアスとして
導入してはどうでしょう?
以下パッチです:
diff --git a/array.c b/array.c
index 8caad66..dc411b7 100644
--- a/array.c
+++ b/array.c
@@ -4720,6 +4720,7 @@ Init_Array(void)
rb_define_method(rb_cArray, "reject!", rb_ary_reject_bang, 0);
rb_define_method(rb_cArray, "zip", rb_ary_zip, -1);
rb_define_method(rb_cArray, "transpose", rb_ary_transpose, 0);
- rb_define_alias(rb_cArray, "unzip", "transpose");
rb_define_method(rb_cArray, "replace", rb_ary_replace, 1);
rb_define_method(rb_cArray, "clear", rb_ary_clear, 0);
rb_define_method(rb_cArray, "fill", rb_ary_fill, -1);
Updated by znz (Kazuhiro NISHIYAMA) over 13 years ago
逆とはどういう動作のことを言っていますか?
Array#zip が複数の配列から1つの配列を返す(かブロックを受け取ると別の動作)で、
Array#transpose が1つの配列から1つの配列を返す(ブロックは受け取らない)ということから
逆という印象は受けなかったので、逆というだけの説明だとよくわかりませんでした。
Updated by metanest (Makoto Kishimoto) over 13 years ago
きしもとです
[1, 2, 3, 4] と ["a", "b", "c", "d"] から、
[[1, "a"], [2, "b"], [3, "c"], [4, "d"]] を作るのが zip で、
irb> [1, 2, 3, 4].zip ["a", "b", "c", "d"]
=> [[1, "a"], [2, "b"], [3, "c"], [4, "d"]]
[[1, "a"], [2, "b"], [3, "c"], [4, "d"]] を transpose すると、
[[1, 2, 3, 4], ["a", "b", "c", "d"]] が得られるわけですが、
irb> [[1, "a"], [2, "b"], [3, "c"], [4, "d"]].transpose
=> [[1, 2, 3, 4], ["a", "b", "c", "d"]]
なんとなく、たまたま、という気がします。
transpose は自己双対で、zip と双対というわけでもないので、
エイリアスには反対、かなぁ。
[[1, 2, 3], [4, 5, 6], [7, 8, 9]].transpose に対応するものって¶
zip で簡単にできましたっけ?¶
というわけで、ドキュメント等にわかりやすく書いておくことについては
賛成します。
Updated by naruse (Yui NARUSE) over 13 years ago
(2011/08/01 20:54), KISHIMOTO, Makoto wrote:
transpose は自己双対で、zip と双対というわけでもないので、
エイリアスには反対、かなぁ。[[1, 2, 3], [4, 5, 6], [7, 8, 9]].transpose に対応するものって¶
zip で簡単にできましたっけ?¶
irb(main):001:0> a = [[1, 2, 3], [4, 5, 6], [7, 8, 9]].transpose
=> [[1, 4, 7], [2, 5, 8], [3, 6, 9]]
irb(main):002:0> a.zip
=> [[[1, 4, 7]], [[2, 5, 8]], [[3, 6, 9]]]
irb(main):003:0> a[0].zip(*a[1,2])
=> [[1, 2, 3], [4, 5, 6], [7, 8, 9]]
ですね。
簡単っちゃ簡単だけど、ちょっと軸はずれてますね
--
NARUSE, Yui naruse@airemix.jp
Updated by mrkn (Kenta Murata) over 13 years ago
「zip が transpose の逆になっているか」
を確認せず投稿したことがバレてしまいましたね。
私が欲しかったのは unzip のような zip の逆っぽいイメージの名前が付いている、
zip する前の配列のセットが返ってくるメソッドです。
きしもとさんの
transpose は自己双対で、zip と双対というわけでもないので、
エイリアスには反対、かなぁ。
という意見については、確かにその通りだと思いましたので、
エイリアスではない方法で導入できるなら嬉しいです。
Updated by shyouhei (Shyouhei Urabe) over 12 years ago
- Status changed from Open to Assigned
Updated by ko1 (Koichi Sasada) about 12 years ago
- Assignee changed from matz (Yukihiro Matsumoto) to mrkn (Kenta Murata)
- Target version changed from 2.0.0 to 2.6
ええと,まつもとさんアサインで進むのだろうか?
mrkn さんがまつもとさんを説得して,next minor から 2.0 に戻して下さい.
Updated by duerst (Martin Dürst) 8 months ago
In issue #20336, @matheusrich (Matheus Richard) wrote:
* [Feature #5133] Array#unzip as an alias of Array#transpose
* Seems a more friendly name for this method (easier if you don't have a strong math background)
* It is nice that we can do an operation an reverse it with two similar-named methods:
```rb
[1, 2, 3, 4].zip(["a", "b", "c", "d"], ["I", "II", "III", "IV"])
# => [[[1, "a"], "I"], [[2, "b"], "II"], [[3, "c"], "III"], [[4, "d"], "IV"]]
[[[1, "a"], "I"], [[2, "b"], "II"], [[3, "c"], "III"], [[4, "d"], "IV"]].unzip
# => [[1, 2, 3, 4], ["a", "b", "c", "d"], ["I", "II", "III", "IV"]]
It's already alluded in some of the comments above: transpose
is it's own inverse, so if we define unzip
as an alias for transpose
, unzip
will be its own inverse.
The reason Haskell has zip
/unzip
as inverses is that zip
in Haskell converts from two lists to a list of pairs, and unzip
converts from a list of pairs to a pair of lists. In Haskell, zip
and unzip
are inverses (up to (un)currying).
In Haskell, the arguments of zip
are limited to two lists. In Ruby, it's one array as receiver and one or more arrays as arguments. For transpose
, it's an array of arrays. Only the later is fully generic and thus can be made exactly invertible.
Updated by matz (Yukihiro Matsumoto) 7 months ago
- Status changed from Assigned to Rejected
unzip
is not really intuitive with Ruby's OO design. Unlike Haskell, Ruby does not have static type issues.
Matz.