タグ

ブックマーク / mzp.hatenablog.com (2)

  • 「なんでreturnするとき一時変数使うの?」まとめ - みずぴー日記

    こんばんは、今日もお仕事だったmzpです。 お仕事してたら、こんな感じのコードを見かけました。 String retValue = null; if(someCond()) { retValue = "x"; } else { retValue = "y"; } return retValue; その場でreturn "x"とかすればいいのに、わざわざretValueに代入しているのが気になりました。 たしかに、こういうコードやこれを強制するコーディング規約もたまにみますが、そもそもどういう意味があるのか気になったのでTwitterで聞いてみました。 まとめ returnは1個にしろ派 ├─ そういう言語もあるよ派 │ ├─ Pascalがそうだよ派 │ ├─ MATLABもそうだよ派 │ ├─ ホストの時代はだいたいそうだったよ派 │ └─ というかfinnalyがない言語だと必須だよ派

    「なんでreturnするとき一時変数使うの?」まとめ - みずぴー日記
    cd01
    cd01 2014/01/27
  • 『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記

    「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。 今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneiPadAndroidドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ からダウンロードできます。 またmobi版もありますが、Kindleを持ってないので、動作確認はしていません。 バグ報告 http://github.com/sfja/sfja へのissues登録

    『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記
  • 1