foldlを直す - 純粋関数空間
http://www.well-typed.com/blog/90/ foldlに関するこの記事（英文）が面白かったので、勝手翻訳しました。 foldlなんとかなるといいですね。 foldlを直す foldl 関数は壊れている。壊れているとみんなが知っている。 四半世紀近く壊れたままだ。ついにこれを修正する時が来た！ 今日、私はPrelude.foldlをData.List.foldl'として知られる実装で再定義することを提案する。 foldlは壊れている！ 既にご存知だとは思うが、念のため… Haskellerが必ずfoldlではなく、foldrやfoldl'を使うように勧めてくることにお気づきだろうか？ 例えばReal World Haskellでは次のように言っている。 `foldl`のサンクの挙動のため、実アプリではこの関数を使わないようにするのが望ましい。 特に問題がない場合でも
ADTがJava7に対応したらしいのでメモ - みんからきりまで
ADTが22.6.0になり、Java7に対応したらしいです。 http://developer.android.com/tools/sdk/eclipse-adt.html ADTのアップデートはEclipseならヘルプ→更新の確認をすれば行えます。 Java7でコードを書くにはプロジェクトのプロパティからJavaコンパイラを1.6から1.7に変更するだけです。 もしくはJava7の構文を書いてエラーにカーソルを合わせればワンクリックで設定を変更してくれます。 というわけでJava7で追加された機能をおさらいメモ。 といってもJava7の全てに対応しているわけじゃないようなので、実際にAndroidで使えたもののみ。 switch文にStringが使えるようになった 今まではbyte、char、short、intもしくはenumのみが使えたswitch文でStringが使えるようになりまし
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
