Scala de インデント

Scala IDE for Eclipseが2.0.0になってたですの。
　ばーじょんあっぷしたら、インデントがズレまくる現象が治りましたの。ひゃふー

　やー。。いちど崩れたインデントを治すのに、手動でスペースキーを連打するのは超大変でしたの。

　ScalaIDE.orgさんありがとうですの！

Option型のmapとflatMap

「Option型＝コレクション」と考えてみると、
　謎なのがmapとflatMapですの。

　結論から言うと、flatMapの挙動が斜め上なんですの。

　コード
　val list = List(List(1,2), List(1,2))
　val opt = Option(list)
　println(opt.flatMap(n => Option(n)))
　println(opt.map(n => n))

　結果
　Some(List(List(1, 2), List(1, 2)))
　Some(List(List(1, 2), List(1, 2)))

　なんとなく、flatMapなら「Some(List(1, 2, 1, 2))」となりそうなものですけど、mapの結果と一緒なのですの。

　Option型のmapとflatMapの違いはたぶん、関数の定義が微妙に違うだけなんですの。

　map 　　[B] (f: (A) ⇒ B　　　　): Option[B]
　flatMap [B] (f: (A) ⇒ Option[B]): Option[B]

　Scala API(*)の説明もこんな口ぶりですの。

　原文：Slightly different from map in that f is expected to return an Option (which could be None).
　意訳：fがOption（Noneの可能性も有り）を返すことになっているという点でmapとわずかに異なる

　その微妙な引数の差を、あえてmapとflatMapという名前で区別する意味がわかりませんの。ぷんすかぷん


*)Optionのページ (2.9.1 final)

Option型のコレクション操作メソッド

たとえばmap。これって、よくコレクションにつかうメソッドですの。
　でも、そういうメソッドが、実はOption型にも付いてるんですの。（たくさん！）

　Option型を使う場合、基本的にはmatchを使って中身を調べるのですけど、それをさぼる方法もいっぱい用意されてますの。きっと、コレクション操作メソッドもその一つですの。
　これを使うと、Option型の処理をコレクション操作の中に自然に織り込めるという点で、とっても素敵なのですの。

　よく見かけるのは、foreachを使う方法ですの。でも、mapなら値が返ってくるので、より関数型ちっくな書き方ができますの。この辺の選択基準は、コレクションを扱うときと同じですの。

　mapやforeachの他にも、filterやcollectなんかもあって、果てはイテレータまで取れるので、もうコレクションの一種だと思ってしまってもいいくらいですの。

　ただ、実際のところ、コレクションとは継承関係の繋がりは一切無くて、あくまで同名の専用メソッドを用意しているだけのようなので、全く同じように使えるわけでは無いのですの。ちょっと注意ですの。

　それがハッキリわかるのが、mapとflatMapの動作で、次回はそれについてですの。

変数を固めたクラス vs Map

　変数をまとめて構造体ちっくにしたクラスと、Map。

　どっちが速いか試してみましたの。

　まずはMap。

　キーは'a～jの10種類、値はそれぞれ0～9ですの。

　'aと'jの値を参照する処理を100万回を１セットとして、１０回計測。

　結果は、

　187, 177, 176, 177, 177, 177, 177, 178, 178, 177（ミリ秒）

　次に構造体なクラス。

　a～jという10個の変数を用意して、値はそれぞれ0～9ですの。

　aとjの値を参照する処理を以下同文ですの。

　結果は、

　7, 2, 4, 4, 4, 4, 4, 3, 4, 4（ミリ秒）

　うーん。土台、勝負になってませんの。

　Mapのほうが便利そうだと思ったのですけど、もし固定キーで決め打つのなら、あえてMapにしない手もあるかもですの。

　・おまけ

　定数に名前を付けたら、それはもうキーですの！

　と思いこむことにして、

　他のコレクションを添字(0番と9番)で参照してみましたの。

　List

　236, 233, 233, 232, 229, 229, 228, 230, 227, 228（ミリ秒）

　ArrayBuffer

　48, 47, 47, 47, 45, 46, 46, 47, 47, 47（ミリ秒）

　Array(配列)

　6, 5, 5, 4, 5, 4, 5, 5, 4, 3

　意外にも、Scalaでも配列はかなり低レベルな概念のようですの。

　ArrayBufferも相当速いと思うのですけど、さすがに内部処理の有無という壁は厚いですの。

　Listは…末尾参照が苦手とはいえ、10項目しか無いのにMapより遅いとは思わなかったですの。。でもまぁ、見方を変えれば、それだけMapが高速ということかも知れませんの。

Scala de 仮引数

Scalaは全ての値がオブジェクトなので、

ほかの関数に値を渡すときは必然的に参照渡しになるはずですの。

でも参照渡しだと、引数をつたって元の値をいじれてしまうような…。

それって、わざわざ不変リストとか用意してる意味あるんですの？？

と思ったので、試してみましたの。

object Sample {

　def main(args: Array[String]){

　　var list = List(1,2,3)

　　update(list)

　}

　def update(obj:List[Int]){

　　obj = list.updated(1,999)

　}

}

へぇぇー。これを動かそうとすると、

代入するところで「reassignment to val」って出て、コンパイル出来ませんの。

なるほどー、仮引数（obj）はvalで宣言してるのと同じ扱いみたいですの。

これなら安心して不変リストを投げ回せますの。ぶんぶーん

お風呂せっけん 元の職業柄、的な…

　お風呂のせっけんが切れましたの。

　詰替用のがあったので、詰め替えたのですの。

　それはいいのですけど、母上様。うちにあるのはバウンシア リッチモイストのボトルなので、ダヴ ボディウォッシュ ビューティモイスチャーの詰替用を買ってきてはダメなのですの。

　特に、まだバウンシア リッチモイストが底に少し残っていますの。このまま入れたら混ざりますの。さっき、わらわがポンプを1秒間16連射したり振り回したりすくったりして頑張って使ってもなお、使い切れずに残ったバウンシア リッチモイストが、新しいダヴ ボディウォッシュ ビューティモイスチャーに混ざってしまいますの。

　混ぜたらダメって説明書きに書いてありますの。

　そういうことすると何かあったときに、問題の切り分けが出来ないから保証外にされてしまうんですの。電話口で、あーそれやっちゃいましたかーそれやっちゃうとウチでは責任取れないんですよねーとか言われてしまうんですの。言われたことはないけど、きっとそうですの。

　すべてはメーカーさんの保証範囲内でやらないと後で責任が取れないのですの。酸っぱいお口でたくさん言われたのですの。ぶくぶくばーなのですの。怖いのですの。

　でも、うちにはダヴ ボディウォッシュ ビューティモイスチャーのボトルは無いのですの。だいぶ汚れていたので、こないだお掃除したときに、わらわが捨てたのですの。でも、母上様もそれは知っていたはずですの。なのに、なぜ…　なぜなのですのっ

　だけれど、詰換用のためにボトルを買いに行く世の中は何かおかしいですの。そんな世の中はわらわが許さないのですの。

　仕方が無いので、ボトルを全部水洗いして綺麗に乾燥させて、詰替用パックの裏面の保証書番号を切ってボトルに貼っておいたり、はしないで容赦無くダヴ ボディウォッシュ ビューティモイスチャーを投入して詰め替え完了ですの。おしまい！めでたしめでたし！

メモリ食い過ぎ

　Steam!　おーまーえーのーことですのーー。

　メモリを8GB積んでいても、32bit Windows7では3GBちょっとしか認識しないというのは散々言ってきたんですの。ただ、認識外のメモリに仮想メモリを置いたときの効果の薄さが、最近ひどいんですの。

　かくなる上はもうしょうがないので、使用量の方を見なおすのですの。

　以下、処刑リストですの

　・Steam

　　ゲームしてない時でも100MBも占有の罪により、
　　スタートアップからの削除、および、ゲームしてないときは起動させない刑に処す。

　・DropBox

　　同期中でもないのに30MBは使い過ぎ罪により、
　　アンインストールの刑（執行猶予付き）に処す。

　・wmpnetwk (Windows Media Player Network Sharing Service)

　　ほぼオマケ機能のくせに11MBも占有する罪により、
　　サービス停止の刑に処す。

　・EveryThing

　　ファイルの中身で検索出来ない割に、常に23MB(*)は使い過ぎ罪により、
　　アンインストールの刑に処す。

　以上

　本当は…なによりEclipseとChromeが、それはもう死ぬほどメモリを食っていくのですの。でも、その二つを使うためにPCを起動していると言っても過言ではないので、泣き寝入りなのですの。


　*) GoogleDesktopで5MBくらい