モナドで悟りをひらきたいのなら - 図でわかる(?)モナド - Pixel Pedals of Tomakomai
圏論の最大の武器はダイアグラムなので、モナドで悟りをひらきたいのならダイアグラムを使えばいいんじゃないでしょうか。 ダイアグラムの書き方 例えば、「 f :: a -> b 」とか「length :: [a] -> Int」は以下のように書きます。型を点で、関数を矢印で書きます。 ダイアグラムの利点は、fやlengthの中身を忘れて簡略化することができることです。人間の脳ができることには限りがあるので、注目する情報が少ない方が理解しやすくなるってスンポーです。 なお、 合成 g . f は図示する時に順が逆になるので気をつけて下さい。これは、合成関数の適用が g ( f x ) と書けることに由来してます。まずfを適用し、次にgを適用するということです。 return と >>= の図示 今回のダイアグラムの約束として、元となる型(Bool, Char, Int 等)は最下段に書きます。そ
[Android] エミュレータの画面が大きすぎるので小さくしてみた - adakoda
Android SDK に付属のエミュレータは、デバイスの画面とキーボードの両方を表示しているため、画面サイズが小さなPC環境では、他のウィンドウをすっぽり隠してしまうくらい画面が大きいです。。。 例えば、画面サイズが1280x800の環境だと、以下のようにエミュレータの画面がデスクトップの大部分を占めてしまいます。 これでは、Eclipseと一緒に使うときに結構邪魔になってしまいます。。。 しかしながら、エミュレータは、起動時の -scale 引数により、拡大縮小機能を備えているため、デフォルトより小さく表示することもできます。 例えば、75%で表示すると、以下のように画面サイズを少し小さくすることができます。 ※50%にすれば、さらに小さくなるのですが、現実的に操作が困難。。。 ただ、右側に表示されているキーボードについて言えば、下段のキーボードは、明らかに使わないですし、上段のキーボ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
