2010-11-30から1日間の記事一覧

java.lang.ClassCastException:android.widget.LinearLayout$LayoutParams

LayoutInflaterでinflate()を使っていたら、こんなエラーが出てちょっとハマってしまったのでメモ。API referenceをみると、 http://developer.android.com/reference/android/view/LayoutInflater.html#inflate%28int,%20android.view.ViewGroup,%20boolean…

りはびり(Ordシグネチャーとファンクターを使って独自のTreeモジュールを作る)

久しぶりにOCamlでも書いてみようかと思ったら、全然書けなくなっていたのでリハビリをすることに。お題は @osiire さんの http://d.hatena.ne.jp/osiire/20101101 のレベル3。といってもこれまでの経験上、最初の「Ordシグネチャーとファンクターを使って独…