第1回 OCamlを試してみる
「プログラミング言語理論」という研究分野がある。この分野の研究者たちは，「ML」「Haskell」「Scheme」あるいは「λ計算」「π計算」（円周率計算のことではない）など，多くのプログラマにとっては聞いたこともない言語やモデルについて，日夜研究している。そのような言語は，C，C++，Java，Perl，Rubyなど，今の世の中で広く使われている言語とは見た目や考え方が違いすぎて，「難しい」「役に立たない」などと思われがちだった。 ところが，その状況が最近になって微妙に変化している。 HaskellやLispなど「関数型言語」についての記事が，専門の学会誌ではなく，一般の技術誌に掲載された（日経ソフトウエア2006年6月号「Haskellによる関数型プログラミング入門」など）様々なフリーソフトウエアがML，Haskell，Schemeなどで開発されたプログラミング言語の研究者ではなく，普
HaskellFaq
いままでずっと手続き型のプログラミング言語 (C とか Java とか Ruby とか) で生活してきた人間が突然 Haskell を使うとどう思うのか、 という観点を第一に書いています。 「Haskell」ってどう読むの 「はすける」みたいです。 ちなみに論理学者の Haskell B. Curry に由来するそうです。 「カリー化」の Curry もこの人の名前から来てます。 Haskell は関数型言語なの？ そうです。 関数型言語って何さ。 関数がプログラミングの中心にあるような言語のことです。 定義は人によってズレがありますが、 少なくとも C や Java は関数型ではなく、Haskell は確実に関数型であり、 ML も関数型であるということに異を唱える人はほとんどいません。 Lisp を関数型に入れるかどうかは人によって違うようです。 Haskell
なぜ関数プログラミングは重要か
John Hughes, Institutionen för Datavetenskap, Chalmers Tekniska Högskola, 41296 Göteborg, SWEDEN. rjmh@cs.chalmers.se この日本語訳は原著者の承諾を得て山下がここに公開するものです。 この訳文についての、御指摘などは山下伸夫(nobsun .at. sampou.org)までおねがい いたします。 翻訳最終更新日 : 2011-09-17 原文 "Why Functional Programming Matters" 日本語訳PostScript この論文は1984年以来何年ものあいだChalmers大学のメモとして回覧された。 1989年と1990年に幾分か改訂をしたのが[Hug89]と [Hug90]である。この版はもとのChalmer大学のメモ のnroff原稿をもとに
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
独習 Scheme 三週間 Teach Yourself Scheme in Fixnum Days
