関数型言語のお勧めは？
単なる興味からですが、関数型言語をひとつ習得してみようと思っています。
あなたがお勧めと思う言語とお勧めの理由、参考書 or ＵＲＬを教えてください。
ポイントは、以下の３つ。
- 趣味でやるので実用性は重要視しない（実用できるに越したことはないが）
- 関数型言語のエッセンスを学べる（定義は回答者にお任せします）
- 日本語文献（出来れば書籍）が充実している
今のところ候補としては Common Lisp/Emacs Lisp, Haskell, Gauche あたりがどうか？と考えています。
※ 有料アンケート・ポイント付き質問機能は2023年2月28日に終了しました。
ログインして回答する
みんなの回答
b-wind
この質問へのコメント
質問の情報
- 登録日時
- 2008-03-14 15:52:16
- 終了日時
- 2008-03-21 15:55:02
- 回答条件
- 1人10回まで
この質問のカテゴリ
この質問に含まれるキーワード
人気の質問
-
この英文どうなってますか？ The boy seemed to be waiting for his mother to come.（その少年は母親が来…
匿名質問者
3
1
-
不定詞の形容詞的用法らしいんですけど、副詞的用法と書いたら✖️ですか？ I want to buy a book to read …匿名質問者11
-
日向陽葵という○V女優が好きなのですが似ている○V女優はいますか匿名質問者
-
共通テストで使われるプログラミング言語は共通テスト特有の言語と聞いたのですが、受験勉強で身につけたプ…匿名質問者21
-
内定してほしいポケモンはいますか？匿名質問者
> Common Lisp と比べて選択するメリットがいまいち感じられないのですが
ごめんなさい。「趣味でやるので」という一文に目を奪われてしまい‥‥もちろん、Lispを習得された方が実用的です。
LOGOは、ネットも何もない時代、教育用言語として一世を風靡しました。その残滓を感じていただければと思います。
http://lang.x0.com/func/ml/sml.htm
ここも情報が多いです。
http://www.geocities.jp/m_hiroi/func/index.html
ML で一番有名な機能は「型推論」でしょう。ML はプログラムから変数などのデータ型を見つけてくれるので、プログラマが型を宣言する必要はほとんどありません。推論できない場合にかぎり、ML は型宣言を要求します。この機能により、ML は静的な型チェックを行う「型付きの言語」でありながら、 Lisp のような柔軟なプログラミングが可能になっています。この他にも、パターンマッチング、多相型関数、モジュール・システムなど、ML には興味深い機能がたくさんあります。
参照透明性(関数に与える引数が同じなら、結果は常に同じ =pure)から、getchar() 風の関数は存在が許されない(値がいつも同じにはならないから)ため、Haskellに導入されたI/O機構や、関数への引数は1つで事足りるようになっていること(カリー化)など、面白いことが多いと思います。
ただ、Lispについてほとんど何も知らないなら、最初にLisp言語をやっておくのはよいことだと思います。