[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part4 (1001ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
449(6): 2006/04/16(日)21:21 AAS
>>432
これ読んだか？ 外部ﾘﾝｸ[html]:www.sampou.org
なんで 1.はほぼ同等なんだ？C++で持ち運んで代入したりできるものといったらプリミティブぐらいだろ？
もっと高位の抽象化の話ならBASICやアセンブラでもできるぞ？
比較するんならC++みたいなメモリリークが起こるバキーな言語じゃなくてJavaとかの方がまだましだと思うんだが。
451: 2006/04/16(日)21:33 AAS
>>449
>なんで 1.はほぼ同等なんだ？C++で持ち運んで代入したりできるものといったらプリミティブぐらいだろ？
ユーザー定義型を持ち運んだり代入したりできる。
書き忘れてたけど、>>432で「C++」と言ってるのは
Boost(や、場合によってはFC++)などのライブラリを十分活用した場合の話。
454: 2006/04/16(日)21:50 AAS
>>449 C#ならどう？
457(1): 449 2006/04/16(日)22:25 AAS
真面目なスレですね。通りすがりで後ろのほうだけ読んだせいで煽り気味の文章を書いてしまったのでフォローします。
C++でアルゴリズムや型を抽象化するには必ずクラスやテンプレートを定義しなければならない。
関数型言語の場合は、とりあえず書き始めてアルゴリズムができてきたらその部分をコピーしたり必要ならクロージャに入れて外で使うなり関数内で移動するなり割と簡単にできる。
関数の引数が増えた、とかローカル変数を共有したくなったりしたら、その時点で型を作るなり言語の抽象化機能を使う。（これ自体はC++でもできる）
型の実装を変更しても、ML以降の関数型ならアルゴリズムの実装の変更に対して型を推論させながら修正できるから、わりとスムーズに移行できる。インタプリタがあることが多いのでその場合はリターンも早い。
省1
458: 449 2006/04/16(日)22:26 AAS
(つづき)
カリー化その他の抽象化能力の話もいろいろありますが、こういう感じで関数型言語は書きながら抽象化を進めていくのが容易だ、と言えると思います。
この話はC、C++(Boost含む）、Java、C#、Basic、その他手続き型言語とML以降の関数型言語との比較に於て言える内容でしょう。
>比較するんならC++みたいなメモリリークが起こるバキーな言語じゃなくて
これがまずかったみたいですね。煽るつもりはありませんので。
459(1): 449 2006/04/16(日)22:29 AAS
読み返したら口調が変わりすぎて気持悪いから自分でツッコミ入れとく
474(1): 449 2006/04/17(月)02:24 AAS
>>463
ライブラリで関数型言語をエミュレートできることと、関数型言語であるということには遥かにへだたりがあります。
Boostで関数型の振舞いができても、C++のコアに関する細かい知識が無いと結局使いこなすことはできないでしょう。
Boost氏の意見は自分でクラスやテンプレートを定義しないという前提でしか成り立たないのではないでしょうか。
>>464を言わないために言葉で説明してみたけど、これ以上言葉だけの説明は無理に思えます。私も464に同意です。
449はMLの人間でC++ vs 関数型言語にレス付けただけなのでこれで消滅します。すんません。
参考書が示せないので、何かプログラムのテーマを考えておいてください。Haskell初心者で参加します。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s