Scala の enum についての議論

ruimo @ruimo

JavaのからScalaに来て困ることは、自分の場合、Enumerationがイマイチなところくらいかな．．． あ、あとコンパイルが遅いことw

ruimo @ruimo

@keisuke_n そうですね。あと直列化すると、エンクロージングクラスまでいっしょに直列化されるので、バカみたいにサイズが大きくなったり。

ruimo @ruimo

今は、Javaのソースと混ぜるのが簡単なんで、enumはJavaで用意することで妥協しちゃう。

ruimo @ruimo

@keisuke_n たしかにScala的には、enumよりも、case classでパターンマッチの方が合いそうですね。クラス数が増えるけど。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@ruimo ええcase classはまたニュアンスが違いますが、代用はできますね。case classでもcase objectでもたんなるobjectでも使えるので好みのものでｗ。Enumerationほど困ることはないですから。

ruimo @ruimo

@keisuke_n 永遠に掘っていけるようにしてしまうか、リンクみたいにして最初に出現した場所にジャンプする感じですかね。前者は、ちょっと気持悪いかな．．．

@take0123

@keisuke_n Pascalあたりだと、procedure と function に別れていますよね。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@take0123 そうですね、そういう言語もありますね。最近の言語は分けないことが多いですけど。関数型言語に少しでも触れて理解した方はやはり返り値をつけたがります。返り値がない=副作用があるとほぼ等価だからですけど...

kmizu @kmizu

@keisuke_n どういう場合ですか？普通はscala.Enumerationの値はmatchで使えるはずですけど。 http://gist.github.com/424971 #scala

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu 今から出かけるので手短に言うと、問題あるケースがあった(思い出せない)のと、あと型付けの問題。特定の型になってくれない問題は不自由に感じます。

kmizu @kmizu

@keisuke_n 特定の型になってくれないということはないですよ。Enumerationを継承したクラスのValueというメンバ型でOKです。 #scala

kmizu @kmizu

@keisuke_n たとえば、object X extends Enumeration { ... } なら、X.Valueという型でその列挙型のみを受け入れる型になります。 #scala

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu んー、それでは具合が悪いですね。

kmizu @kmizu

@keisuke_n んー。よくわからないです。X.ValueでJavaでenum X { ... }に対してXという型を書いたのとほぼ同等になると思うのですが…。もしかして、Javaから利用するときのはなしですか？

📙🔭✨NISHIMOTO Keisuke @keisuke_n

まぁようするにJavaのようなenumが欲しいということですね。基本的に定数なんで動的に解決して欲しくない。

kmizu @kmizu

@yasushia 一応、object Cons { def unapply[T](list: List[T]): Option[(T, List[T])] = ... } というextractor作ればいけますけど、たぶんそういう意味ではないですよね。 #scala

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu いまそれではダメだという例が出せないのでまた後で。

kmizu @kmizu

@keisuke_n いや、動的に解決というか、valですから静的に解決されますよ。少なくともJavaのenumと同じ程度には。 #scala

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu とにかくいまだとlazy valやvalなどの挙動の違いで使えないケースを結構経験しています。特に継承された型で発生していて、今のままでは使えないですね。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu いやいや、静的には解決されてませんよー。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

以上の理由で私はEnumerationはまったく使わないです。

kmizu @kmizu

@keisuke_n うーん。静的の定義が食い違ってるような。ScalaのEnumerationが動的に解決されてるというなら、同じ程度にはJavaのenumも動的ですよ。あれって、内部的にはオブジェクトアロケートしてstaticフィールドに入れてるだけですから。 #scala

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu いやだからそうじゃないです。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

まぁわかっていってるのでしょうけど。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

とりあえず例が出てくるまでsuspend。