Scala の Enumeration について

📙🔭✨NISHIMOTO Keisuke @keisuke_n

Javaのenumが△なのは、主に記述が冗長なこと。でも型を自分で拡張できるから便利なのは確か。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

結局根本的にenumの意義はどこにあるのか、という話だと思う。

Yasushi Abe @yasushia

@keisuke_n これSignal.Greenじゃないのはこう書きたい、という例ですか？

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@yasushia まぁ定数はいろんな場所で使うから。Signal.Greenではなく、Greenとして扱いたい。名前空間を分けたい人はもちろんわけてください、というスタンスかな。

kmizu @kmizu

@keisuke_n Javaのenumとだけ比較しているのではない、という点については了解しました。それで、改めて聞くと、先ほどのgistに貼り付けた例で、思った通りの型付けになっていないのはどの部分でしょうか？

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu 型付けの話で理想的なのは、sealedほげのような明示的な型になってほしいということでしょうか。ここには完全な定数という意味も含まれています。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu EnumerationやValueには便利なユーティリティメソッドがついていて、それがEnumerationの枠組みで共通して使える点は、利点だと思います。でもあんまりいらないかなと思うこともありますね。ああでもIteratorとして帰るのは欲しいかも...。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu Enumerationが定数じゃないというのは先ほど言ったとおりタイミングによって不具合が発生する(たぶん生成順番)問題、静的にバイトコードに埋め込んでくれない、関連クラス数の増加、シリアライズや比較での不具合、などなどからです。

kmizu @kmizu

@keisuke_n その、明示的な型、というのがよくわからないんです。というのはさっきも似たような事書きましたが。.Valueを書かなくて良い、とかいう記法の話ではないんですよね？あと、定数かどうかと型付けの話は別問題なので混ぜるべきではないと思います。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu いや定数と型についてはまぜないといけないと思ってます(ほとんどは文法ではなくて運用上の問題なため)。たぶんそこらへんが考察の仕方がちがうところかと。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu 明示的な型は、Signal(信号機型)のように自分で自由の利く型を作れるかどうかです。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

というかsealedにしてるのは型と定数の両方がかなっているからなんで、切り離して考えちゃダメなんです。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

まぁ熊楠的な論理展開だけどな。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu enumの本質はどこですか?たぶん型であり定数であることだと思うのです。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

つまりEnumerationはenumではないんだよね。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

sealedほげの欠点は列挙型ではないので、IteratorなりIterableなりを伴わないこと。その場合はいちいちSeqなどのセットに入れる必要がある。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

名前空間は言語によってうまく処理されているので、むしろ発展した言語では名前空間で明示的に分離しないenum型はありえる、って話ね。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

まぁこのあたりはいろんな言語を触ればわかるはずなんで、あえて言うことでもないと思ってたんだけど。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

私が提案しているのは、名前空間を明示的に書かなくてもいいenum型もあっていいだろって話。もちろん名前空間も書きたければ書けるという前提(既にPOST済み)

📙🔭✨NISHIMOTO Keisuke @keisuke_n

特にScalaなどの言語は如何に書かなくてもいいのかにも挑戦しているわけだし、見てすぐわかる定数に対していちいち名前空間も記述しなくちゃいけない苦痛は解放してもいいと思う。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

とにかくenumは定数で手軽なものを理想と思うので、ややこしいことは避けておきたい。名前空間の件もそうだし...。このあたりうまく説明できてないのかもしれないけど。

kmizu @kmizu

@keisuke_n いや、どちらも考察するとしても、問題としては切り分けないと議論がごちゃごちゃになって話が進まないので困ります。

kmizu @kmizu

@keisuke_n enumの本質は、端的に言うと「有限個の(名前で指定される)要素だけをその値として持つような型」でしょう。型であり定数である、というのはどういう意味でしょうか？

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu 同意できるところは有限個の要素だけかも。これに定数は必須です。少なくとも欲しいのはそれであってそれ以外なら別にEnumerationである必要はないかも。

kmizu @kmizu

@keisuke_n Signal(信号機型)にはどのような定義が必要ですか？それがわからないので、なんとも言えないです。しつこかったらすいませんけど、論点が曖昧模糊としている(ように見える)ので、焦点が正直よくわからないんです。