Scala の Enumeration について

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu 日記にコード断片が書かれています。 > http://bit.ly/bprL9o

📙🔭✨NISHIMOTO Keisuke @keisuke_n

特に定数としては書かれていないね。でも私が欲しいのは定数 > http://ja.wikipedia.org/wiki/%E5%88%97%E6%8C%99%E5%9E%8B

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu ようするにenum型が欲しいわけではないということらしいけど、今回はやはり定数であることは必須です。

kmizu @kmizu

@keisuke_n 日記見ました。この例のSignalはobject Signal extends Enumeration { Green, Yellow, Red } で、「型付けの問題に関しては」クリアできていると思います。名前空間はまた少し別の論点でしょう。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu いやだから違う話としてわけると、議論にならないんですよ。熊楠的な論理展開をしてるので。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

http://ja.wikipedia.org/wiki/%E5%8D%97%E6%96%B9%E7%86%8A%E6%A5%A0

📙🔭✨NISHIMOTO Keisuke @keisuke_n

欧州的な論理展開は、必ずしも全体を把握できるとは限らないんだよね。

kmizu @kmizu

@keisuke_n 熊楠的な論理展開というのがどういうのかわからないんですけど、そこはどうしても相容れないですね…。異なる論点をごちゃまぜにするのは自分が基本的に避けるように心がけているスタイルなので。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

s/欧州/欧米/

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu 異なることが組み合わさって、1つの幹になるので、そういう言い方もあるんだということは知ってください。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

まぁつまり私は異なることとしては捉えてないんですよね。セットですから。

kmizu @kmizu

@keisuke_n 複数の問題が互いに関連しあう例があることはもちろん知っていますが、それはそれとして、このケースでは、やはり別個の問題としてとらえるべきだと考えます。少なくとも、既存の「型付け」という言葉の用法を無視した使い方はあまり好ましく思いません。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu 思わない。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

まぁ理解する必要はないので、いいのですけど。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

個別の細かいところを論じてもしょうがないと思っていて、今回はenum型を多少間違って解釈していたけど、欲しいのは気軽に扱える定数かな。列挙だから特定の数で値が決まらないといけないし。ただ列挙そのものはあまり重要視してない。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

どちらにしてもScalaのEnumerationは私が欲しい条件をほとんど満たしていない。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

まぁようするに細かいところを議論していて、確かに意義深いのだけど、そっちは正直言うとあんまり興味ないかもしれない。だから「本質は」と聞き返している。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

で、「なぜダメか」と「こうなってほしい」の2つの大きな論点があると思うのだけど、案外ちゃんとまとまっていないと思う。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

議論の展開は「なんでできないのだ」「だから理想はココ」から、始まってるかな。今はなんでできないのだはいくつか不明なんでほったらかしてよくて、だから理想はココ」が興味あるかな。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

だから「枝をみて幹を見ず」かなぁと漠然と。

kmizu @kmizu

自分としては、sealed trait + case classesの構文糖があればそれで十分。MLとかHaskellのvariantっぽく書ける構文を用意して、sealed trait + case classesに展開するとか。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

とりあえず全体的な話はこんなところです。あとは議論の過程でいくつか日記にまとめてますが。また時間があれば追記します。

kmizu @kmizu

@keisuke_n うーん。自分の場合は、まず、「理想はココ」の前に、現状認識の点で食い違いを感じたので、その辺の疑問を解決しておきたかったのです。別に無意味に細かくこだわってたわけではなく。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu まぁ「理想はココ」は私の考えだからずれていることは別に問題ないかと。モチベーションは現場で使える文法やAPI(簡単で楽)だからという部分に尽きると思います。他は実装上の問題なんでそんなに興味はありません。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

とりあえず一般的に思ってるenumは列挙すると勝手に何かの値が出来て、それが定数のように扱えるもののはず。そこはWikipediaの列挙型とずれるけど、正確な定義ではなく、使いたいところはドコだね。