F#

JavaとF#で、AndroidアプリのListAdapter を書いてみる。

片桐　継（Tugu Katagiri） — Tue, 19 Aug 2014 08:58:00 GMT

Androidアプリで、リストを画面に表示したい時、用意するソースは４つ。

リスト表示するためのListViewを含むレイアウトファイル
リスト一行分の項目を定義したレイアウトファイル
リスト表示するためのアクティビティクラス
リスト一行分の項目を編集するためのリストアダプタクラス

この４つのファイルが必要。ちょっとメンドクサイｗ

でも、使い方を覚えれば簡単に色んなリストを作れるようになるので、ちょっと自慢できる、かも＜を

で、今回のお話の主人公は、リストアダプタクラス。

実はAndroidアプリの中ではお約束がとても多くて、このリストアダプタクラスなんかは典型的。リストを作りたい時には、一行分のことだけ作者は考えてればいいんだよ、という仕様になっていて、とてもシンプルにできている。だから、作る側はそのお約束さえ守っていれば、後はAndroidさんの方で良しなにリストしてくれるの。

で、そのお約束なんだけど、次の事がリストアダプタクラスで定義出来ていれば動くみたい。

BaseAdapterクラスを継承していること（継承の継承でもOK）
保持するリスト件数を返すgetCountメソッドがあること
保持するリストの項目を返すgetItemメソッドがあること
保持するリストのIDを返すgetItemIdメソッドがあること
一行分のリスト項目を返すgetViewメソッドがあること

こうしてできたアダプタクラスを目的のListViewのプロパティAdapterにセットしておくと、Androidアプリのフレームワークは、getCountして取れた件数だけ、getViewを回してリストを作成してくれるし、クリックされたリストのアイテム項目をgetItemやgetItemIdを使ってアクティビティに返すようにもしてくれる。うん、便利だね。

ポイントは、基リストの保持はアダプタでやっても良いし、別のクラスで持っても良いところ。リスト生成する間、リストアダプタクラスがインスタンスをもっている間、リストが維持できていればOKだから、意外と自由。一つの基リストを色んなアダプタでリスト項目に展開することだって可能。使いこなしたい機能の一つだなって思うよ。

そんなリストアダプタクラス、JavaとF#で作ってみた。

レイアウトはresult_item, 項目は数値だけの表示リストでidをresultとして名前を付けて作ってあるとしての例ね。

Javaだと

public class ResultAdapter extends BaseAdapter {
    private List<Integer> list;
    private Context context;
    public ResultAdapter(Context context, List<Integer> list) {
        this.context = context;
        this.list = list;
    }
    @Override
    public int getCount() {
        return list.size();
    }
    @Override
    public Integer getItem(int position) {
        return list.get(position);
    }
    @Override
    public long getItemId(int position) {
        return position;
    }
    @Override
    public View getView(int position, View convertView, ViewGroup parent) {
        View view = null;
        if (convertView == null) {
            LayoutInflater inflater = (LayoutInflater) context.getSystemService(Context.LAYOUT_INFLATER_SERVICE);
            view = inflater.inflate(R.layout.result_item, null);
        } else {
            view = convertView;
        }
        Integer result = getItem(position);
        TextView resultView = (TextView) view.findViewById(R.id.result);
        resultView.setText(result.toString());
        return view;
    }
}

F#だと

type ResultAdapter(activity : Activity, list:int[]) =
    inherit BaseAdapter()
    let _list : System.Collections.Generic.List<Java.Lang.Integer> =
        new System.Collections.Generic.List<Java.Lang.Integer>()
    do for i in list do _list.Add(new Java.Lang.Integer(i))
    override this.get_Count() = _list.Count
    override this.GetItem(position) = _list.Item(position) :> Java.Lang.Object
    override this.GetItemId(position) = int64(position)
    override this.GetView(position, view, parent) =
        let item = this.GetItem(position) 
        let view = 
            match view with
            | null -> activity.LayoutInflater.Inflate(Resource_Layout.ResultItem, null)
            | x -> x
        view.FindViewById<TextView>(Resource_Id.result).Text <- item.ToString()
        view

命名規約の問題で若干差があるけど、こんな感じ。F#の場合、JavaのObject型を使わなくてはならない分キャストがメンドイけれど、まぁクラスの一部だと考えれば、ただの変換作業なので苦も無く。Androidのクラスライブラリ群がJavaととても親和性がある、というかJavaで作られてるというのがよく判るよね。他言語で作るとなると、Javaの型を無視して作るなんて出来ないんだもの。まぁ、JNIを書いてラップして、なら出来るのかもしれないけど、ちょっとなんだか、それも違うんじゃないかなぁとか思ったり。

シリアライズの偉大さを知ったｗ

片桐　継（Tugu Katagiri） — Fri, 15 Aug 2014 21:02:00 GMT

SerializableAttributeAndoridアプリの画面を切り替える時、画面同士の情報の引き渡しができる仕組みがあるの。この時に、仲介役となるIntentクラスはとても大切。

やりたかったことは、とあるクラスに格納された情報を、画面の受け渡しに使いたいって事だったんだけど、Javaだと次の方法で出来る。

受渡のためのクラスにSerializableを持たせる
そのクラスを含むIntentを作成する
StartActivityする

NextActivityが次に行きたいActivity、Serializedが自分で作った型だという想定で、サンプルコートだと、

Serialized serialized = new Serialized();
String record_key = "Key"
Intent intent = new Intent(this, NextActivity.Class);
intent.putExtra(record_key, serialized);
intent.setAction(Intent.ACTION_VIEW);
startActivity(intent);

こんな感じ。ISerializableを持たせることで、情報を一つのクラスに取りまとめて渡せるので便利。

そして、この部分で使ってるJavaDocは、

http://developer.android.com/reference/android/content/Intent.html#putExtra(java.lang.String, java.io.Serializable)
http://developer.android.com/reference/android/content/Intent.html#putExtra%28java.lang.String,%20java.io.Serializable%29

これ。確かに、putExtra( String, Serializable ) のメソッドが使えるように、作られている。

で、これを今度は、F#で作る。調べたところ、C#でも同じようにクラスの宣言でISerializableを使うことができるので、出来るんだろうなと気楽に思ってた。さらに調べると、F#のtype宣言は[<SerializableAttribute>]を使うことで実現できるというところまで学習。

ところが、ちょっと問題ｗ　C#やF#でいうISerializableは.NetFrameworkのものであって、Java.IOのそれではない。

考えれば当たり前。

そこをラップしてくれるなんていう便利なものがXamarinAPIにあればなー、なんて思って頑張ったけど、行き着いた答えがこれ。

Working With JNI | Xamarin
http://developer.xamarin.com/guides/android/advanced_topics/java_integration_overview/working_with_jni/

ラップは自分でしろ、そのためのJNIは用意してやるから（ニッコリ）と、読めたｗ

つまり、

Java.IO.ISerializableをJNIした継承インターフェイスを作る
継承インターフェイスとSerializableAttributeをもつクラスを作る
putExtraでそのクラスを受渡す

うーん、はまりそう。深い闇というか沼の入り口に立ってる予感。とすると、逃げ道を考える。

Json化して、テキストにした後、Intent.Extras.GetSerializableメソッドでシリアライズしてputExtra
受渡クラスを保持するシングルトンクラスを作成し、項目を特定するIDでputExitra

どちらも、JNIを使わなくても、できる形。Json使うのも魅力だけど、２の方法で作ってみた。受渡したいクラスをリストで保持するシングルトンのrecordServiceを作って、メソッドGetPositionでそのリストの場所を取得できるようにしておく。

let position : int16 = int16 recordService.GetPosition
let activity = new Intent(this, typeof<NextActivity>)
let extra : int16[] = [|position|]
activity.PutExtra(record_key, extra) |> ignore
activity.SetAction(Intent.ActionView) |> ignore
this.StartActivity(activity)

これで、とりあえず、やりたいことは実現できた。個人で好きにやってるから、こんな風なやり方したけどJson化する方がC#やJavaとの移植性が高い感じがするので、良いかもしれない。

Toastを焼いてみる

片桐　継（Tugu Katagiri） — Thu, 14 Aug 2014 11:50:00 GMT

Androidアプリで、好きなところ、Toastがあるところ。

Toastっていうのは、画面のメッセージで、下の方に出てくる、ちょっと角の円いメッセージ表示のやつね。

これ。

表示するのはとても簡単。

たとえば、Toastにエラーメッセージを表示したい、とする。エラーの内容はエラーコードをIDに割り付けておいて、IDを渡すだけで表示できるように、メソッド化しておけば便利だよね。そんなメソッドを書いた時、

Javaだと

void displayError(int errorId) {
    Toast.makeText(this, errorId, Toast.LENGTH_LONG).show();
}

C#だと、

void displayError(int errorId) {
    Toast.makeText(this, errorId, ToastLength.Long).show();
}

F#だと、

member this.DisplayError(id:int) = 
    Toast.MakeText(this, id, ToastLength.Long).Show()

やってることは同じなのに、言語の違いで微妙な違いがあるのが面白いｗ

こういうのを楽しめるのがプログラミングの楽しい所の一つだと思ってるの。

JavaからC#への移植は簡単だけど、JavaからF#への移植は意外と手間かかるってのが、この１メソッドの比較からでも判る。

でも、間にC#を挟んで移植すると、もうちょっと楽になりそうな気がするね。

F#で簡単な配列を遊んでみる。

片桐　継（Tugu Katagiri） — Tue, 12 Aug 2014 12:23:00 GMT

とりあえず、型関連を遊んだら次は配列、というのが個人的にはお約束。

JavaやGroovyのListオブジェクト、Collectionオブジェクトと似たような感触でいじれるようなので、経験済だと困らないｗ

[<EntryPoint>]
let main argv = 
    // 1 - 100 step 1
    let baseList1 = [1 .. 100]
    // 1 - 100 step 10
    let baseList2 = [10 .. 10 .. 100]

    printfn "testing List = %A" baseList1
    printfn "--"
    printfn "List.Head = %d" baseList1.Head
    printfn "List.reverse = %A" (List.rev baseList1)

    printfn "partition mod 10"
    let filter x = ((x % 10) = 0) 
    let ansList1, ansList2 = List.partition filter baseList1

    printfn "answer-1 = %A" ansList1
    printfn "answer-1.length = %d" ansList1.Length

    printfn "answer-2.length = %d" ansList2.Length

    printfn "compare List = %A" baseList2
    if (baseList2.Head = ansList1.Head) then printfn "Head is same!"
    if (baseList2.Tail = ansList1.Tail) then printfn "Tail is same!"

    0 // return an integer exit code

1刻みとか10刻みの整数リストが作れるとか面白いね。そしてpartition関数((a ?> bool))?> list ?> (list * list))が気に入ったｗ　フィルター条件を関数に書いて、リストに通してあげるだけで、条件合致のリストを作り出せるとか、楽しすぎる。

実行結果を見てみると、

こんな感じ。リストオブジェクトのComparate も書けるらしいので、色々と面白いことが出来そうだね。

ああ、そうか、F#は、.NetFramworkのライブラリも使えるんだっけ。

片桐　継（Tugu Katagiri） — Mon, 11 Aug 2014 16:03:00 GMT

F# でリスト要素の追加と削除は、イテレータや演算子を使って、ちょっと自分でアルゴリズムを書く必要があるみたい。

ここでカリー化とか再帰とかなんだかんだと数学をほとんどやってない人にとってはとっても難しい用語や考え方が出てくるわけなんだけれども。

確かに、細かい条件を指定して、便利に確実に高速に処理できる方法があり、それを実践していくのはとても良いこと。でも、分析分解してコードに変換していくにあたって、対象が極めて単純な処理の時には、逆にメンドクサくなっちゃう。

結局、わがままなんだけどねｗ

で、やった解決策。

System.Collections.Generic.List<T>

を使ってリストオブジェクトを作成して、そのメソッドを使ってやってしまえ、という……。

Xamarin使ってると、.NetFrameworkの存在を忘れてしまうよねｗ　実は使えるのにね、使ってるのにね。

サンプルはC#やVBしかないかもしれないけど、型が違うわけではないので、そこは素直に使えばOK。

そしてLinqでさくっと検索や取得。F# 本来の良さはかなり失われているような気がせでもない。＜を

そういえばLinqの正体ってイテレータとか、えーなむあぶる、とか、なんかそんな話を昔していたようなｗ

ふむ、何もかも懐かしいｗ

F#は矢印も大事。関数定義で出てきた->から色々と考えてみた

片桐　継（Tugu Katagiri） — Fri, 08 Aug 2014 12:54:00 GMT

F#のmain関数はint型をリターンするというのが決まりらしい。ということが判ったお話。

きっかけは、とあるエラー表示。にしてもXamarinStudioさんのエラー表示、真っ赤でインパクト強くてものすごく悪いことした気持ちになる。

-> って演算子が出てきた。ああ、こいつ、ポインタが指し示すアドレス空間に存在する変数を参照する時や変更する時に使ってたやつだ。想い出したよ、なつかしー。と、最初見て思ったの。

->演算子が出てきたので、その演算子について書かれている章を読んで、クルミ脳で考えてみた結果、この型で定義されたアドレス空間があるから、そこへ値を入れてください、そこから値を参照してください、的な動きをしてもらうための命令演算子っぽいと理解。新しめの言語だけど、引き継ぐ所は引き継いでるというか、Cやってたら、ああ、あいつだな、と理解してさくさく進めるという所にちょっと親切さというか懐かしさというか、そんな不思議な気持ちがした。

離し戻して、それを前提として関数の使い方のお作法というか順番をまとめてみると

関数名と型を決める
関数の振る舞いを決める。
- この時、関数内の最後の実行命令結果がその関数の実行時の戻り値と型になる。
決めておいた関数の振る舞いに、決めておいた型と決めておいた変数名で確保している参照値を送り込む
関数の戻り値を矢印先の型で決めておいた変数（main関数の場合にはプログラム実行結果）として確保しているアドレスへ格納する

と片桐的に解釈。

その観点でmain関数(a ?> int)を読み直してみると、最終行の実行命令が必ずintを返すようにしてください、というエラー命令が出るのは当然だわな。printfnは ?>unit 関数だって、昨日覚えたばかりだもの。

というわけで、修正。最後の命令は数字のゼロを呼び出すだけの簡単なお仕事。

open System

[<entrypoint>]
let main argv = 
    let mult x y = x * y
    let result = mult 3 5
    printfn "%d" result
    0
//----------

で、ビルドが通ったので実行してみると、

OKOK。

なんだか、ちょっと賢くなった気分だぞｖ

F#のサンプルをいじって、慣れてみることにした。

片桐　継（Tugu Katagiri） — Thu, 07 Aug 2014 16:02:00 GMT

F#ってなんだかちょっとGroovyっぽいｗ

でも時々、聞きなれない予約語が出てくるので、慣れてみようと思うシリーズ（なのか？）

Unitってなんぞ？

"The unit type is a value signifying nothing of consequence and is represented in code"

って書いてある。片桐的超意訳だと

Unitタイプはコードで表現されている、結果が何の意味を持たない型だよん

って感じに理解した。ふむ、CやJavaでいうvoid型みたいなもんかｗ

printf系メソッドとか典型だよね。それじゃ、それを使ってそうなサンプルを拾ってみよう、ってことでググって、こんな良い所発見♪

F# 3.0 Sample Pack - Home
http://fsharp3sample.codeplex.com/

ひさしぶりのMicrosoft＆Codeplex関連のサイトめぐりなので、迷子になりつつも見つけたよ。

ここと本があれば、手慣れるところまでは頑張れそうだ。

とりあえず、ちょこっとDosプロンプトアプリを書いてみる。

open System

[<EntryPoint>]
let main argv = 

    let int = 42
    let string = "This is a string"
    let char = 'c'
    let bool = true
    let bytearray = "This is a byte string"B

    printfn "int = %d or %A" int int
    printfn "string = %s or %A" string string
    printfn "char = %c or %A" char char
    printfn "bool = %b or %A" bool bool
    printfn "bytearray = %A" bytearray

    let timeOfDay = DateTime.Now.ToString("hh:mm tt")
    printfn "%A - %A" argv timeOfDay
    0 // return an integer exit code

んでもって、これをXamarinで実行。

このカスタムパラメータっていうのを使って、

パラメータ渡して、Executeをクリックすると

うん、動いたね。

本を読みつつ、サンプル見つつ、実行しつつ、慣れていこうｗ

どうせやるなら、F#でやってみても良いよね？

片桐　継（Tugu Katagiri） — Wed, 06 Aug 2014 10:51:00 GMT

Xamarinで作ることのできるアプリケーションは、New Solutionすると一目瞭然。

VB.NetでAndroidプログラミングさせろぉぉぉっ！

C#でやれるんなら、もういっちょプリコンパイラ挟むだけなのにorz

やらせてくれても良いじゃないのよぅぅ。

C#も嫌いじゃないが、ここはやっぱ、F#でやってみようというのが私。

べ、別に、オライリーの表紙の鳥さんが可愛いからとか、そんな理由ぢゃないからね！冠鶴と金魚と蛇も捨てがたいんだけどさｗ＜を

オライリーさんとこでオンライン書籍DLで買うと、安いのな。サンプルコードの解説やなんや、オライリーさんところの英語は読みやすいのでしんどくないし、わざわざ日本語版探すより、原書をオンラインDLで買う方がずっと安い。会員コード持ってクーポンコード使うとさらに安い時あるし、対応言語やプラットホームも種類多いし、何より、表紙の動物が可愛い＜一番大事な所

というわけで、早速ソリューションを新規作成。

作るアプリは、Java＋AndroidStudioで作ったものと同じものを再作成、ということでｗ

ほー。ファイル配置お作法はテンプレだし、だいたいのやディレクトリ構成も一緒だね。これはステキ。すぐに取り掛かれそうだ。

ちょっと寄り道して、参照ライブラリとかみてみようかな。

Linq発見！Jsonもいるね。というか、そうか、NUnit　になるんだよな、テストエンジン。

Linqに久々に触れるとか、.Netよ、私は帰ってきた！みたいな気持ちになるね、しみじみするｗ

さて、サイトのサンプルはC#なんだけど、そこはF#に読み替えつつ、このページをじっくり読んでから手をつけようと思うの。

Getting Started | Xamarin
http://developer.xamarin.com/guides/android/getting_started/

Androidアプリのキモとお作法についても記載があるので、おさらいしつつ、進めよう。