一部には関数型言語を崇拝している人もいます
どちらが上なのか、この際はっきりさせましょう
言語訓練のために立てたものです。
アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。
京都大学霊長類研究所
今まであったはずの上と下
なんと！
右と左になってしまったではありませんか
これが、21世紀最大の偉大なる発見です。
上へ上へと鎬を削る時代は終わりました。
これからは、自由自在に方向を変えてみようじゃありませんか。
関数型とか誰が使ってるんだよ
関数型言語 ・・・ 学習用言語
関数型言語・・・馬鹿には無理
またドカタってうるさいやつが
来たかｗ
不毛。削除依頼出しとけよ
ボロ負け確実の関数型言語厨必死だなｗｗｗ
入社試験でバカをふり落とすとき。たとえ入ってから使うのがオブジェクト指向のみであっても。
はい？オブジェクト指向言語しか使わないけど
目クソ鼻クソを嗤うの類だな
一度組んだらその後変更が無いシステムで
絶対にバグを出したくないとき
じゃないかな
それ、仕様言語とかの方じゃないか？
ドカタはOOPしか使えないだろ？関数型言語でまともにコード書けないだろ？
だったら悩む必要ないじゃん
根拠もなく優越感だけ持ってる
CLOSでオブジェクト指向もサポートしてるから最強じゃん
そもそも、CLOS無しでもオブジェクト指向っぽく書けるから最強じゃん
関数型に慣れたら副作用を考えなくていいのですごく楽なのに。
メモリスタとかで状況が変わるかもな。
> 関数型に慣れたら副作用を考えなくていいのですごく楽なのに。
副作用のないアプリはないんだよ。
http://news.mynavi.jp/news/2012/03/06/060/
関数型言語 ＋ オブジェクト指向言語 ＋ コンパイラ言語
これでネイティブコードはいて
どのマシンでも動けば完璧なんだが。
foldl f v (x:xs) = foldl f (f v x) xs
sum = foldl (+) 0
product = foldl (*) 1
reverse = foldl (\ys x -> x:ys) []
length = foldl (\n _ -> n + 1) 0
再利用出来すぎ
LLだって、オブジェクト指向の機能のみではここまで再利用は出来まい
プログラム意味論あたりの研究で
関数型とオブジェクト指向は完璧には組み合わせられないって
いう結論が出ているらしい
参照透明性を壊すような副作用がないから、「考えなくていい」ということ。
Rubyなら再利用できますけど、何か？
def fold(init, xs, &fn)
case xs.length
when 0
init
when 1
fn.call(init, xs[0], &fn)
else
result = fn.call(init, xs[0])
for x in xs[1..(xs.length - 1)]
result = fn.call(result, x, &fn)
end
result
end
end
def sum(ary); fold(0, ary) { |s, x| s + x }; end
def product(ary); fold(1, ary) { |p, x| p * x }; end
def reverse(ary); fold([], ary) { |xs, x| xs.unshift(x) }; end
def length(ary); fold(0, ary) { |n, _| n + 1 }; end
なるほど。Rubyで書き直すとクソコードになるって事ですね。
def fold(init, xs, &fn)
if xs.empty?
init
else
result = fn.call(init, xs[0])
for x in xs[1..(xs.length - 1)]
result = fn.call(result, x, &fn)
end
result
end
end
def sum(ary); fold(0, ary) { |s, x| s + x }; end
def product(ary); fold(1, ary) { |p, x| p * x }; end
def reverse(ary); fold([], ary) { |xs, x| xs.unshift(x) }; end
def length(ary); fold(0, ary) { |n, _| n + 1 }; end
def fold(init, xs, &fn); xs.inject(init, &fn); end
def sum(ary); fold(0, ary) { |xs, x| xs + x }; end
def product(ary); fold(1, ary) { |xs, x| xs * x }; end
def reverse(ary); fold([], ary) { |xs, x| xs.unshift(x) }; end
def length(ary); fold(0, ary) { |xs, _| xs + 1 }; end
簡潔というか、foldの実装をinjectに押し込めただけだよね
foldとinjectは機能的に殆ど同じだから
そのとおりだね
ただし、>>44,45のコードは、>>39の
>LLだって、オブジェクト指向の機能のみではここまで再利用は出来まい
という「関数(メソッド)の再利用性」に対する具体的な反論になっているんじゃないかな？
オブジェクト指向の再利用で典型的なのはＧＵＩコンポーネントなどで、
複数の入力に対して複雑な出力があるものだから比較になってない。
継承したクラスで関連するメソッドをオーバーライドして修正できるのも再利用性なんだよな。
バグがあるのが悪いというのは論外で、他人が作った資産だったり、すでにオブジェクトファイルに固めてあったり色々な事情がある。
建設的な議論を妨げてるような気がするんだけど
じゃあ言い方を変えて猿でもわかるコードならば再利用性があると言える。
たとえばHaskellのIOモナドみたいな堅牢性はどこにもない。
"Hello World" って出力しようとしてみればわかるけど、
それすら知らない程の超弩級のバカですねw
Haskell信者が傲慢で独り善がりな事だけはわかった。
傲慢で独り善がりってこういう主張のことを言うんですよw
Haskellerは神の使徒
ML厨やLisp厨は異端
煉獄の火の中に投げ入れられるべき
命令形言語厨は異教徒
豚畜生と変わらない
ブロックは確かにSmalltalkでもオブジェクトとして有るんだけど、一般的なオブジェクト指向言語には無いのがなぁ・・・
結局、再利用性を高めるためには継承・隠蔽・多態性よりも、関数を値として渡すという関数型言語的な処理の方が有用なんじゃなかろうか
実際、C++やJavaで再利用性に欠かせないテンプレート（ジェネリック)は、オブジェクト指向とは無関係で、どちらかと言うと関数型言語の型推論に近い（これも関数型言語とは無関係と言われればそれまでだが）
そう考えると、型推論的なものと、関数を値として扱える機能が、再利用性向上に寄与してるとも言える
オブジェクト指向の多態性に当たるオーバーライド、オーバーロードはテンプレート（ジェネリック)を使ってなるべく利用しない方向に向かってるのが何よりの証拠とは言えないだろうか
そう考えると、型を意識するオブジェクト指向と関数型のそれぞれの言語を持ち出した方が、より生産性に有用な機能がどれかを浮き彫りにしてくれそうな気がする
全く意味がわからない。
(バカだからわかんねーんだよｗｗっていうのはHaskell信者だけにしてほしい)
使えるから、そのありなしはほとんどどうでもいいと思う。
なんだよ。俺が無知だったらお前は無知以下じゃないか。
嫌マジ
Haskell信者じゃなくても、馬鹿だから分からねーんだよって言われて良いレベル
Javaに最初ジェネリックが無かったのに、何で入ったか考えてみ？
継承はともかく、今や、多態性はオブジェクト指向の機能は補助的なものに過ぎない
多態性指向と言うか、テンプレートやジェネリックは別のプラットフォームのものと考えるべきものだろう
関数型とも違うプラットフォームとも言える。と言うか、オブジェクト指向も、関数型も、元は型が無い前提だったんじゃないかと思える
実行速度、安全性などの理由で型も意識した結果がテンプレート(ジェネリック)や型推論に落ち着いたと想像してる
（型なしラムダ計算があったりするように、どちらにも型なしの世界はある）
安全になることはわかってるけど、
・いちいち型を書くと、無駄に冗長
・配列とかリストとかのコレクションとか、ガチガチをあえて緩めるか
組み合わせの数だけ（整数の配列、浮動小数点のリスト、…）型が必要
という問題があるから、それをエレガントに解決するために使われるのが、
型推論やジェネリック型（や型クラス）。
相変わらずこれの意味がわからない。
オーバーロードを多態性だってのはわかるけどオーバーライドが多態性かっていうと？だし
テンプレートやジェネリクスでオーバーライド、オーバーロードが制限されることもないし
利用しないようになっているというのもわからないし。
それが何よりの証拠になる理屈もわからない。
なんだよ〜C++がテンプレートを取り入れた当初から
バリバリつかってた俺は経験的によーく知っているつもりだけどな。
なんか見下す事しか出来ない奴らだなおまえらって。
そうそう！
それが俺の言いたかった事！
>オブジェクト指向の多態性に当たるオーバーライド、
>オーバーロードはテンプレート（ジェネリック)を使ってなるべく利用しない方向に
>向かってるのが何よりの証拠とは言えないだろうか
>>64,70ではないがw、自分も何を言いたいのか分からない
動的型付けなオブジェクト指向言語であるSmalltalk/Rubyでは「(>>63の)都合が悪い」から
話を静的型付けな言語(C++/Java)へ持って行きたい、というのなら分かるのだけれど.....
Lisp/Scheme/Logoのように動的型付けな関数型言語も存在しているわけで、
型付け(動的と静的)と計算モデル(命令型と適用型)をゴッチャにして
理解したつもりになっていまいか？
>それをエレガントに解決するために使われるのが、
>型推論やジェネリック型（や型クラス）。
C++やJavaのジェネリック型が、エレガントにはとうてい見えない件について.....
オブジェクト指向においてオーバーライドは多態性そのものだな。
あの一行を除けば>>63の言いいたい事は解るよ。
> Lisp/Scheme/Logoのように動的型付けな関数型言語も存在しているわけで、
> 型付け(動的と静的)と計算モデル(命令型と適用型)をゴッチャにして
> 理解したつもりになっていまいか？
計算モデルで分類するならLisp/Scheme/Logoは命令型ですよ
一般的な定義は「関数がファーストオブジェクトである」
ファーストオブジェクトって何？
ファーストクラスオブジェクト、ってことなら、PythonとかJavaScriptとか、
最近の言語がみんな関数型言語になっちゃいますけど。
C言語は関数型言語、に類似のデマに惑わされてる人でしょあなたも。
>>75
C++はジェネリックというよりテンプレだから。Javaと一緒にすんな。
82 名前: デフォルトの名無しさん Mail: sage 投稿日: 2012/03/09(金) 12:07:14.32
実用期を迎えた関数プログラミング 参加レポート
ttp://sea.jp/?p=937
> つまり、関数プログラミングを快適に実践するには、関数を変数に格納できるという程度では不十分だということです。
> 関数プログラミングを支援する言語機能として、以下のようなものが紹介されました。
>
> ・関数を変数に格納でき、さらに無名でも定義できること
> ・関数内部が静的なスコープを持つこと
> ・関数の引数の一部だけを変数にバインドした別関数を返す部分適用を簡単に利n用できること
> ・変数は上書きしない。配列、リストの中身も書き換えない
>
> これらの機能は、関数を頻繁に定義し、それをいろいろな場所に渡して使用する以上ないと困るし、
> 変数が上書きされたり副作用があると関数を組み合わせて使用することが難しくなるのだろう、と私は理解しました。
>
> 個々の要素、例えば高階関数や部分適用などのみに注目して他言語、JavaScriptやRubyなどを見ていけば、
> これらの機能を備えた命令型言語はたくさんあると思います。
>
> 実際、関数を使ったプログラミングもできると思うのですが、やはり型や変数の取り扱い、
> 副作用をどのように扱うか、スコープや値の評価方法など、関数型言語としてデザインされた言語でなければ、
> 関数プログラマーの方々がおっしゃるレベルの関数プログラミングは実現できないのだろうと感じました。
高階関数、モジュール指向、ラムダ関数、論理型ってこと？
モジュール指向は当たり前だし論理型は余計な感じもする。
関数型言語を使うことが目的になってる。
絶対実現不可能なこと。
絶対って言葉をあんま使わん方がいいぞ。
関数型の典型であるLispのオブジェクト指向
http://www.asahi-net.or.jp/~kc7k-nd/onlispjhtml/objectOrientedLisp.html
プログラム意味論あたりの研究で
関数型とオブジェクト指向は完璧には組み合わせられないって
いう結論が出ている
証明は？で君はそれを理解しているの？受け売りはいかんよ。
最近の関数型言語信者はLispは関数型言語じゃないとか言ってるよ
WEB+DBマガジンに関数型言語についての記事があるけど
Lispを関数型言語から排除していた
[処理,処理,処理,処理]
オブジェクト指向言語はこれを実現できないわけじゃない
Operationクラスを作ってoperationメソッドを作って
Operationを継承するクラスを各処理ごとに作ってoperationメソッドをオーバーライドして
それらをOperationリストに突っ込めばいい。
高階関数もFactoryやリフレクションを駆使してムリクリ作る事はできる。
でも高階関数モドキやラムダ式モドキをわざわざ作らない。あまり必要ないから。
どうしても関数型の理論だけで完結することはできない。
だからどの関数型言語も、関数型理論とは外れる機能を搭載している。
世の中に必要とされているシステムってのは絶対に副作用が必要だから、
関数型とそれ以外（たいていはオブジェクト指向）を混ぜた言語が使われる。
昔は、関数型にそれ以外を追加した、関数型ベースの言語が使われていたが
最近はオブジェクト指向に、関数型の機能を追加した、
オブジェクト指向ベースの言語が使われてきている。
また旧来の言語も、関数型の理論を取り入れてきている。
もう、それでいいんじゃね？ 関数型ベースなんてもう流行らないよ。
今；馬鹿もプログラミングするようになった
添削
X: 最近の関数型言語信者はLispは関数型言語じゃないとか言ってるよ
O: Haskell信者はLispは関数型言語じゃないとか言ってるよ
>WEB+DBマガジンに関数型言語についての記事があるけどLispを関数型言語から排除していた
それは静的型付けな関数型言語に関する記事だからという理由じゃないのかな
その記事で「Lispは関数型言語じゃない」と書いてあるの？
参考として「やっぱり動的型付け言語は大規模開発で効率が悪い 2」スレ(dat落ち)からコピペ
366 名前: デフォルトの名無しさん Mail: sage 投稿日: 2011/10/26(水) 12:25:43.06
>>365
それはハスケラ特有の症例で、心の病の一つ
ハスケルという言語を使っていると、世の中のあらゆる事柄すべてが
ハスケルを中心に廻っているように見えるらしい
従って、あらゆる関数型言語は静的実行かつ静的型付けでなければならないし、
遅延評価が常識であり、一切の副作用は認めようとしない
ハスケラにとって関数型言語とはハスケルのことであり、
その窓から見える世界が彼らのすべて
Haskell VS その他の関数型言語 VS オブジェクト指向言語
Haskeller VS その他の言語使用者
SmalltalkとJavaくらい違う
人を誑かすのは上手いよね。
TOP カテ一覧 スレ一覧 2ch元 削除依頼 ▲
ｻﾐｰ777townのVB 2005マクロを貼るスレpart1 (144)
Embarcadero RAD StudioXE/DelphiXE/C++BuilderXE (836)
【Perl,PHP】LLバトルロワイヤル21【Ruby,Python】 (197)
HTMLはプログラミングなのか？ (139)
国産オープンソースDIコンテナSeasar2 その16 (460)
メガデモを語る fr-08 (603)
--log9.info------------------
無為ナントカ part29 (450)
死後の世界について真剣に考えてみる ７転生目 (356)
こいつはクズだなと思った奴 (829)
精神病者に生きてる価値ってあるの？ (109)
自とどまった言葉 (270)
【ｺﾃ】■自を考えてる人の雑談スレ第40話■【専】 (962)
(･ω･)(･ω･)(･ω･)生まれたから生きてんだけど (602)
いやどす( ･ω･) ３ (456)
↑↑レスすると金運があがるスレ35↑↑ (790)
【ニキビ】汚肌で鬱になった人います？★４【毛穴】 (433)
【笑撃】↑↓のスレタイを合体させて遊ぶスレ24 (243)
ゲロカスクソ中田しね (596)
【名無し限定】暇なので話しませんか？8403 (1001)
前向きに勉強に打ち込んでいるメンヘラ日記８ (323)
【香川に住むメンヘラさんで語り合うスレ6】 (161)
オノヨーコと書くと症状が和らぐスレ11 (739)
--log55.com------------------
ど い つ も こ い つ も 特 殊 豚ﾌﾞﾋｯ！
SCARのデザインだっせー！
ガンオタが許せない描写 Part.28
【マルイ】Five-seveNについて語るスレ【マルシン】
【ハドソン】HUDSON総合スレ5【インダストリ】
銃オタのにわかが以上にうざい…
S&Wオートについて語ってくスレ
エアガン・ペイントガンの規制緩和を考えるスレ