タグ

ブックマーク / asciidwango.jp (1)

  • Haskellによる関数プログラミングの思考法 - asciidwango

    関数プログラミングの考え方・思考法を学ぶ! 関数プログラミングが最高の技法である理由は、関数プログラムを数学的に考察できる点にある。書を読むことで、関数プログラミングの質を身に着け、Haskellの真の能力を理解できるだろう。 Richard Bird 著 山下伸夫 訳 定価:3,024円(体2,800円) 発売日:2017年2月28日 形態:B5変型版(336ページ) ISBN:978-4-04-893053-6 Amazonで購入する サポート/追加情報 ◆関数プログラミングの思考法を伝える教科書! 書では、「関数と関数適用を使ってプログラムを構成する」「数学で用いる 単純な記法で問題を簡潔明快に記述する」「単純な数学を基盤とし等式論証を用いてプログラムの性質に関して証明やプログラム運算する(意味を変えることなくプログラムを変換する)」ことで、意図どおり正しく合理的な時間で動作

    Haskellによる関数プログラミングの思考法 - asciidwango
  • 1