はてなブックマーク

この頁では、関数プログラミングと並行（並列）処理との適合性について説明したいと思います。 関数型言語にとっては、並行処理は概念的には極めて親和性の高い処理形式です。 なぜか？ということに対する答えは関数プログラミング言語の本質的側面に関係しています。Part 5で、純粋な関数プログラミング言語では参照透明性が維持されているということを述べました。参照透明性が維持されていることは、プログラムの評価順序に関数の結果値が依存しないということです。ということは、任意のタスク（関数型言語では、関数となります）を１つのプロセスに割り当てることができるようになります。任意に割当ててもプログラマが管理しようとも同じことになるからです（概念的には）。命令型言語の場合、関数/手続は参照透明ではないので、任意の仕事をプロセスに割り当てることができません。任意に割り当ててしまったのでは、予測不能な動作をする恐

前頁では、関数がファーストクラスであることの説明と、そのことによる実益を説明しましたが、プログラミングの世界では、引数に関数を渡すことができ、結果値に関数を返すことができる関数を高階関数(higher-order function)といいます。この高階関数の表現力の高さ故に関数がファーストクラスである必要があるといってよいと思います。 前頁ではその例を少しだけ示しましたが、高階関数の本領を知るにはいくらなんでも例が少なすぎると思いましたので、この頁では、高階関数として有用であることが知られているいくつかの関数を示すことによって、高階関数実現による利点を敷衍したいと思います。 まず、map関数です。この関数は、引数として、１つの関数と複数のリストを取り、そのリストの各要素に対して引数としての関数を適用し、その結果をリストとして出力するという関数です。Rubyにも、ライブラリとして、map

関数プログラミングに関するリンク集です。Concurrent Clean公式サイト等は、それ専用のページを作っていますので、こちらを参考にして下さい。また、Clean以外の関数型言語のリンク集も作りましたので、興味がある人は参考にして下さい。 C++用の準標準ライブラリです。この中に、関数プログラミングができるようになるライブラリも多数含まれています。C++の標準化委員会でも一部取り入れているようですので、C++のユーザーは、使ってみて損はないと思います。ただ、関数プログラミングの特長を一部実現できているだけですので、その点には留意してください。尚、日本語リソースがあります。(2002.12.05記載、2003.10.17修正) NEC Research Instituteの研究員がはじめた、計算機科学の様々な文献をPostScript又はPDF等でまとめてあるサイトです。単に文献が豊富

関数プログラミングの特徴とは何かという問題は、現在でもまだ定まっているとは言い難いような感じですので、ズバリ述べることはできませんが、それでも、命令型言語と比較した場合の関数型言語の特徴を挙げれば、それに対する大体の回答にはなると思います。 というか、正直に言って、それに関しては、Programming Language Conceptsの頁で説明していますので、そちらを参考にしてもらえれば良いということになってしまいます（例えば、その頁のimperative paradigmやfunctional paradigm等）。 しかし、それにもかかわらずこの頁を設けた理由は、Rubyは関数プログラミング言語ではないので、主要なものを全て説明できるわけではなく、それならば、その特徴の中でも、Rubyでもなんとか実現できそうなものを示そうと思ったからです。 そうしてみると、以下のものを列挙で

関数型言語にとって、関数がファーストクラスの身分を持つというのは必須の要件だと言えるでしょう。 関数がファーストクラスであるというのはどういうことかということに関しては、基礎概念の所(first-class objectの項目)にもあるので見てもらえればいいと思いますが、ここでも簡単に言っておくと、データと同じように関数を取り扱うことができるということです。つまり、名前をつけられる（定義/宣言できる）ということだけではなく、関数の引数・結果値になることもでき、しかも、データ構造の中にオブジェクトとして組み込むこともできるということです。 関数型以外の言語はこれができるわけではありません。つまり、データと同じように、定義できたり、引数・結果値になったり、データ構造に組み込むことができるわけではありません。例えば、Rubyでは、メソッド定義はdefを使用する一方で、変数定義は代入演算子に拠