タグ

functionalに関するterurouのブックマーク (4)

  • The Mercury Project: Home

    Mercury is a logic/functional programming language which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program d

    terurou
    terurou 2015/03/22
    "Mercury is a logic/functional programming language"
  • マルチコア時代のプログラマは関数脳になろう〜Java8のススメ〜 - Tech-Sketch

    CPUのクロックアップに限界が訪れ、マルチコア化することで処理性能向上を目指す時代になりました。これからのプログラマには、マルチコアで処理性能が向上するプログラム=マルチスレッドで並列処理が可能なプログラムを書く能力が必要になります。今回は「関数型」でプログラムを書くことによって、いとも簡単に並列化ができることを実例を元に解説します。 関数型プログラミングと並列処理 「関数型でプログラムを書くことで簡単に並列化できる」と書きましたが、そもそもここで言う「関数」とは何なのでしょうか? 関数型プログラミングの特徴 関数型プログラミングの「関数」を理解するためには、数学における「関数」を想像するとわかりやすいでしょう。 例えば三角関数を用いた y=cos(x) という式を考えてみます。この式に入力値 x=0 を与えた場合、いつでも必ず結果は y=1 になります。x= π/3 の場合は y =

  • 鉄道指向プログラミング(翻訳)

    You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

    鉄道指向プログラミング(翻訳)
    terurou
    terurou 2013/05/28
    関数型アプリケーションのレシピ パート2、鉄道指向プログラミング
  • notes/A_recipe_for_a_functional_app/How to design and code a complete program.md at master · yukitos/notes

    関数型アプリケーションのレシピ パート1 原文:How to design and code a complete program 「自分ではミクロレベルで関数型プログラミングが分かってきていて、小さなプログラムくらいは作成できるようになったんだけれど、どうしたら実際のデータを処理したり、現実的なエラー処理を実行するような完全なプログラムを作成できるようになるんだろう?」 これは非常によくある疑問です。 そこで私は以降の一連の記事において設計やバリデーション、エラー処理、一貫性、依存性の管理、コードの構成など、完全なプログラムを作成するために必要なレシピを解説していこうと思っています。 先にいくつかコメントしておきましょう。 この連載ではアプリケーション全体というよりは1つのユースケースに焦点を絞ります。 そうすればきっと必要に応じてコードを拡張できるはずです。 特別なトリックや高級なテク

    notes/A_recipe_for_a_functional_app/How to design and code a complete program.md at master · yukitos/notes
    terurou
    terurou 2013/05/28
    関数型アプリケーションのレシピ パート1
  • 1