TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
Visual Studio IDE環境
集合論に基づいた言語を作りたい
【論理】Prolog【初心者】
35歳、発達障害のB型作業所通いですが ６
テストしにくいコードをテストする方法 その2
C++相談室 part146
C# vs Java どっちが好き? その5
C#, C♯, C＃相談室 Part93
C#,C＃の宿題片付けます。
D言語 Part34
一般的な処理を関数型の書き方をすると遅い
- 1 ：2014/01/26 〜 最終レス ：2018/08/23
- Rubyで関数型とか遅いからやめればいいのに
- 2 ：
- 関数型に適した問題を、
関数型に特化した言語でやって
どうにか速い例が見つかる程度。
- 3 ：
- まあそうだよねｗ
- 4 ：
- 副作用を起こさないから、配列を処理して配列に入れなおしてって
やってるから、メモリコピーのコストかかるし、メモリ使用量も増えるしね。
- 5 ：
- 普通にループで書いてブロックの中に処理書けばいいのに、
関数呼び出しにしてしまうからその分のコストもかかる。
- 6 ：
- Ruby よりは速いから問題ないよ
- 7 ：
- >>4
その辺は最適化次第な気がする。
まあ、それを前提にしてる言語(Haskellとか)でないとそういう最適化もやりづらいだろうけど。
- 8 ：
- 意味分からん。
Rubyの時点で遅いだろ。
無理せずC/C++を使えよ。
- 9 ：
- >>8
あすぺおつ
- 10 ：
- 次から次へと自分の無能を宣伝するスレを立てて嬉しいのかこのバカは？
- 11 ：
- >>10
事実ですが
- 12 ：
- 「一般的な処理を関数型の書き方をすると遅い」
それは体感とか実測からくる事実なんだろう
しかし、それだけなら関数型の書き方にできる機能など誰も盛り込まないはず
速度を失った代わりに得たものがあるんじゃなかろうか
たまたまそれが >>1 にとってメリットに感じなかっただけで
だから、考えもしないでやめればいいのにというのは安直だ
ところで、関数型の書き方って何？
- 13 ：
- まあ>>1にはわかってないんだろうさｗ
- 14 ：
- はっきりした定義はないけど…たぶん >>1 が例に出したRubyでなら
生のループ文を使わず、再帰やcollect/select/detect/inject/rejectなどを使い
ifやcaseの分岐は文ではなく式として用いて
変数への再代入をしないプログラミング…って感じじゃね？
- 15 ：
- 関数を一級のオブジェクトとして扱うのが関数型の書き方に決まってるだろ
それ以外あるのか
- 16 ：
- それは書き方じゃなくて言語仕様とかの話じゃね？
- 17 ：
- >>15
ループの代わりに再帰を使うとか、副作用がないとか
- 18 ：
- >>15
そこでいう「関数」が何を指すかが問題だ
数学的な関数に近い意味での関数表しているのか、
C言語みたいなプロシージャに近い意味での関数を表しているのか
前者なら、関数を一級のオブジェクトとして扱うだけじゃ
関数型の書き方というには足りないと思う
- 19 ：
- もともと意図して設計してない以上あったりまえだろ
- 20 ：
- >>11 君の無能が事実なんだねw
- 21 ：
- >>17
まったくわかってない
再帰は手続き型言語でも普通に使うし
対象が数学的関数なら手続き型言語で書いたって副作用はない
例
int fib(int n) {
return n < 2 ? n : fib(n-1) + fib(n-2);
}
- 22 ：
- >>21
うん、でも関数型でよく使われるものでしょ。
だからそれを関数型の書き方と言ってるのかもしれないと
予想できるでしょ。文章を理解する時ってそういうふうに
推理するものだよね。相手が言ってることを偽になるように解釈して
いったら辿り着く先は誤解でしかないと思うけどなあ。
- 23 ：
- >>22
でももへちまもないよ。おまえの理解は間違ってる
関数型言語の特徴は高階関数を使うことだっていってんの
そのために一級にしてるんだから
- 24 ：
- >>23
間違ってるかどうかは言った本人に聞かないとわからないでしょ。
あなたが判断することではないし、あなたが判断できることでもないよ。
だからあなたが何言おうと無駄だと思うけどなあ。
自分の解釈が絶対正しいんだーなんてのは思い込みだよ。
世の中に絶対なんてことはないんだ。常に自分を疑うべき。
- 25 ：
- そういうメンドクサイ哲学的な話に興味ないからもういい
俺が言いたいのは、再帰や副作用なしってのは関数型言語と関係ない
ということだけ
- 26 ：
- メンドクサイことは好きなんだろ
くだらない日曜夕方の雑談に花咲かしていけよ
- 27 ：
- >>25
そういう解釈ができるってだけの話だね。
相手の言うことを理解するときに自分の物差しで
測ってどうこう言ってもしょうがないと思うけどなあ。
そういうことやって周りの人間とうまく関係を構築できるものなのかなあ。
あなたの人生が心配です。
- 28 ：
- 遅いかどうかの話。
関数型に適していない問題を
書き比べてみればいい。
- 29 ：
- データ構造を扱う問題は適さないよな
- 30 ：
- 時々関数型言語は速いなんて反論を見るけど、
それ一部の処理を省略することができる問題を
関数型言語では省略して、
手続き型・オブジェクト指向言語では、省略しないで
不公平なコードで比較しているんだよね。
- 31 ：
- >>28
クイックソートかな
- 32 ：
- ではクイックソートの実装を関数型言語 VS C言語で
比較してみましょう。
- 33 ：
- 代入の代わりに遅延評価が使えず、新しく生成するようなプログラムは遅くなるし、リソースを無駄に使う
だから純粋関数型言語ではなく、scalaを使って手続き型と関数型の良いどこどりしましょうね〜
- 34 ：
- 速いのが良いならアセンブリとCだけ使っとけばいいよもう
- 35 ：
- なかなかおもしろいことになりそうだｗ
http://elephnote.com/blog/archives/838
> Togetterにいろいろな主張のまとめがありました。曰く、
>
> 「In-placeソートでないからだめ」「というか遅い」「いやHaskellに効率を求めてはいけない」
> 「5行の例はPivotingをしていないのでだめ」「Pivotingはクイックソートの本質ではない」
> 「メモリを抽象化していて扱えていないのでとても遅い」
> 「Haskellでメモリの議論をするべきでないしIn-placeソートでなくてもよい」
> 「Haskellでクイックソートをしっかり書きたいなら手続き型風に書くのが良い」
- 36 ：
- そもそもなんで最近になって微妙に流行ってんの？
スクリプト言語が採用したから？
- 37 ：
- >>36
jQueryが間接的な発端じゃないでしょうかね？
jQueyrは関数型に似ている
↓
関数型言語とはなんぞや？
↓
関数型言語とはうんぬん（略）
- 38 ：
- 非同期厨とも似たような臭いがするんですがそれは
- 39 ：
- 非同期IOは実利を伴うからいいんです
- 40 ：
- ゴミゴミゴミゴミゴミゴミゴミゴミゴミゴミゴミゴミゴミゴミゴミゴミゴミゴミゴミゴミゴミゴミゴミゴミゴミｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
- 41 ：
- >>40
ゴミで何が悪いんだ、夢の島にうめたろか？
- 42 ：
- お前は肥溜めかコンポストな
- 43 ：
- フィルターのメソッドにブール型を返す関数とかを入れるってのは凄くいいと思うよ
- 44 ：
- ゴミゴミゴミゴミゴミゴミゴミゴミゴミゴミゴミゴミゴミｗｗｗｗｗｗｗｗｗｗｗｗ
- 45 ：
- >>36
流行ってるって2ちゃんの話だろ？
具体的なショーケースはなにもない
LispやD言語やVBのスレが勢いある2ちゃんの話だろ
- 46 ：
- VBのライバルであるDelphiを忘れないで下さい。
- 47 ：
- >>45
ドカタには無縁なだけですよ
- 48 ：
- デカイサービスやビジネスに採用された例ってあんの？
- 49 ：
- >>35
わかりやすさでは、Haskellの圧勝。
- 50 ：
- このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。
アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。
京都大学霊長類研究所
- 51 ：
- >>1
一般論を言えばその通りだ
性能に関して言えば、関数型に適したアルゴリズムやデータ構造の
研究/開発と、その普及が重要になってくる
たとえばアルゴリズムであればメニーコア時代の並列処理や
モナドに代表される圏論を応用したソフトウェア部品化技術、
データ構造であれば「永続データ構造」や「メモ化」(Wikipedia等を参照)が
キーワードになるだろう
Rubyなら、こんなGemがあるね
・Ruby で並列実行処理を簡単に書く
http://subtech.g.hatena.ne.jp/secondlife/20110927/1317123109
・Rubyで関数型プログラミングをするための ImmutableList gem を公開
http://gam0022.net/blog/2013/10/22/immutable-list-gem/
あとOSX/iOS上の並列技術であるGCDは、MacRuby/RubyMotionから
お手軽に使えるから、Macユーザにはお薦めだね
・ASCII.jp：マルチコア時代の新機軸！ Snow LeopardのGCD (1/4)
http://ascii.jp/elem/000/000/455/455786/
- 52 ：
- >>1
そんなわけない。
今後は、マシンパワーをフルで使う処理こそ関数型になってくだろ。
遅いのは処理系。
- 53 ：
- 関数型でしか書けないってのは強い制約。
わざわざ不便にするのは、実行の流れを無くすためとか。
そうなれば、主導でマルチスレッドプログラムせずに、自動でマルチスレッド対応に出来る。
- 54 ：
- >>47
多い土方が使用してないんじゃ流行ってるとは言わないだろ
- 55 ：
- まあ遅さが問題にならないとこで
物好きだけが使ってればいいんじゃないでしょうか
- 56 ：
- 関数型は遅いダメだろ
時代はウインドウズでC♯とVBを極めるのが最強。関数型は絶対に使うな！
VBとC♯だけに集中して関数型は使わないようにするのが情強だぞ。絶対に使うな。関数型はクソだとみんなも言っているだろ。VBとC♯だけをやるのが正しい。絶対に関数型は使うな。関数型はクソだ。
- 57 ：
- C#も遅い
C++があるんだからそれ使え
- 58 ：
- >>56
ﾌﾟﾌﾟ
- 59 ：
- 代入が出来ないとか強いプログラム上の制限がある分、速く出来るのが普通だ。
翻訳、コンパイルするほうの性能が悪いだけ。
- 60 ：
- 静的単一代入
- 61 ：
- 関数型を使ってみました。
目から鱗でした。
目には鱗が付いていることがわかりました。
これはすごいです。
ナチュラルかつ完璧な制約があります。
ごく自然な形で制約を受け入れたコードが書けるのです。
制約は私を縛るものではありませんでした。
構文上のみならずロジック上の誤りすら見つけ出してくれるのです。
コンパイルを通ればバグが無いことが保障されました。
そして、生成されたコードは速いです。
Cの二倍速いJSよりさらに早いです。
これはJSなんか使ってる場合ではないと思いました。
- 62 ：
- 関数型で書けないコードってあるの？
ヒープソートとか辛そうだけど
- 63 ：
- Javascriptは関数型ハイブリッド言語。
Javascriptのクイックソート。
QuickSort = function (X) {
if (X.length <= 1) return X;
var pivot = X[0];
return (new Array).concat(
QuickSort(X.filter( function(x){ return pivot>x;})),
X.filter( function(x){ return pivot==x;}),
QuickSort(X.filter( function(x){ return pivot<x;})));
};
- 64 ：
- Scalaのクイックソート
def sort(xs: Array[Int]): Array[Int] = {
if (xs.length <= 1) xs
else {
val pivot = xs(xs.length / 2)
Array.concat(
sort(xs filter (pivot >)),
xs filter (pivot ==),
sort(xs filter (pivot <)))
}
}
https://sites.google.com/site/scalajp/home/documentation/scala-by-example/chapter2
- 65 ：
- たぶんCのクイックソートが一番速いだろうな。
- 66 ：
- >>64
手続き型で書いた場合と比べると読みにくいし、理解するのが難しい
それでもって速度はJava以下
笑えるな
- 67 ：
- >>66
このコードはクイックソートのロジックそのものだろ
脳みそ腐ってんじゃねえの
- 68 ：
- マルチコア時代のプログラマは関数脳になろう
CPUのクロックアップに限界が訪れ、マルチコア化することで処理性能向上を目指す時代になりました。
これからのプログラマには、マルチコアで処理性能が向上するプログラム＝マルチスレッドで並列処理が可能なプログラムを書く能力が必要になります。
今回は「関数型」でプログラムを書くことによって、いとも簡単に並列化ができることを実例を元に解説します。
http://tech-sketch.jp/2013/08/parallel-functional-programming-1.html
現場で活かす関数型プログラミング
クラウドやマルチコア、メニーコアを利用する大規模並列型のシステム開発を行なう上では、プログラミング言語の選択も重要になってきます。
そんな中でここ数年注目を浴びているのが、Haskell,OCaml,Scala,F#などといった関数型言語です。
ですが、関数型言語は、並列処理等の複雑なアルゴリズムを 記述するだけの言語ではありません。
http://www.mamezou.com/training/f_pro.html
プログラマが知るべき97のこと/関数型プログラミングを学ぶことの重要性 - Wikisource
最近プログラミングコミュニティでは、再び関数型プログラミングへの関心が高まっています。
その理由としては、業界全体でマルチコアヘの移行が進んでいる、ということもあるでしょう。
移行によって生じる新たな課題への対処に、関数型パラダイムの持つ特性がうまく合致することが明らかになってきたからです。
重要なのは、参照透過性(referential transparency)が向上するということです。
参照透過性が高い、というのは非常に素晴らしいことです。参照透過性が高いとは、関数がどこでいつ呼び出されようと、入力が同じであれば、
常に得られる結果が同じになる、ということを意味します。
つまり、関数の評価結果が状態変化の副作用に左右されることが少ない（あるいは、まったくない）ということです。
http://ja.wikisource.org/wiki/%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9E%E3%81%8C%E7%9F%A5%E3%82%8B%E3%81%
B9%E3%81%8D97%E3%81%AE%E3%81%93%E3%81%A8/%E9%96%A2%E6%95%B0%E5%9E%8B%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A
9%E3%83%9F%E3%83%B3%E3%82%B0%E3%82%92%E5%AD%A6%E3%81%B6%E3%81%93%E3%81%A8%E3%81%AE%E9%87%8D%E8%A6%81%E6%80%A7
- 69 ：
- 関数型で書いても並列処理の結果は結局共有部分で受けないといけないのではないんですか
- 70 ：
- 処理を関数型のイディオムに落とし込むのがだるい
パフォーマンスをいちいち考えないといけないのがだるい
数学みたく、無限の計算リソースがあるならまだしも
- 71 ：
- 適当に書いたC>>>>>>クソ遅いゴミ言語による並列処理
- 72 ：
- CPUのマルチコア化が関数型普及の引き金
現在，皆さんが使っているパソコンを見てください。ちょっと昔のを使っているんでしたらCore2 Duo，今どきの新しいものでしたら，Corei7とか5とか3とか。
CPUの中身の配線の問題でこれ以上の集積化は難しくなってきたので，CPUコア数を増やす方向で処理能力を上げることになりました。
それが，Core iシリーズです。Core i7は1つのCPUの中に4コア入っています。コア数が複数個あるので，マルチコアCPUと言われています。
さて，話を戻します。そうしたマルチコア・マルチスレッドCPUのパワーを引き出せるのが，関数型プログラミング言語だと言われています。
CPUのマルチコア・マルチスレッド化で今もっとも注目され，再評価が進んでいます。
実は関数型プログラミング言語とは，突然現れたものではありません。1970年代頃からあるもとしてLisp（リスプ）が有名です。
関数型の特徴として非常に抽象度が高いコードになるので，一見判読しにくいことがあります。
しかし，ほんの数行コードを書くことで，スゴイ処理を実行できるので，プログラマーや研究者達の知的好奇心が沸き立ちます。それが魅力なのです。
http://gihyo.jp/book/pickup/2013/0089?ard=1391594763
10月25日 マルレク2013「クラウドとクラウド・デバイスの新時代」第五回(東京都)
講演概要
「関数型言語と並列・分散処理」
マルチコアの下でのプログラミングについては、丸山は今年1月のクラウド研究会で、「関数型言語と並列・分散処理」という講演を行いました。
そこでは、ハードウェアのMany-Core化がやむことなく進み、ソフトウェアのParallel化の要求がますます高まる中で、
ソフトウェア側の対応が遅れているという認識から出発しました。
1月の講演は、Many-Coreのパワーを引き出す上で、Data Parallelの手法を効率的に表現出来る関数型言語の有効性に注目したものです。
http://kokucheese.com/event/index/119193/
「世界は並列的に進行していて、人々も並列で動いています。コンピュータも並列で動いているのなら、なぜ逐次型プログラミング言語に固執する必要があるのでしょう。」
NI LabVIEWソフトウェアの生みの親であるJeff Kodoskyは何年か前のNIWeekでこのような質問を投げかけました。
http://www.ni.com/newsletter/50473/ja/
- 73 ：
- 最適化技術が進歩すれば分からなくなるけどな
超でかい配列 -> 処理 -> 処理 -> 処理・・・
これを自動でテンポラリ使うか遅延評価使うかを判断して
メモリアクセスパターンも考慮して最適化してくれるなら
使ってやってもいい
- 74 ：
- 関数型言語ってI/Oも並列で行えるの？
- 75 ：
- できます。
- 76 ：
- 関数型言語を使えばクイックソートが
並列で処理可能・・・ってことには
ならないんだよな。
- 77 ：
- >>75
ん？ たとえばDVDを読み書きするとして、
並列で行うならば、レーザーが複数なければ
いけないはずだけど？
- 78 ：
- >>76
100万の数値をソートするなら50万50万に分けた後で並列化できないの？
- 79 ：
- >>78
いえ、だから関数言語を使うだけで簡単に並列可能に！には
ならなくて並列可能なアルゴリズムに作り変えなきゃならないでしょ？って話。
- 80 ：
- >>78
手続き型で並列化するには特別なコードが必要
関数型なら普通に書けば・・・
- 81 ：
- 特別と言ったって
たいして特別でもないよなぁ。
ローカル変数使っていればいいだけだし。
- 82 ：
- 関数型に不可能なことはないのです。
なぜなら自分自身を書き換え進化していくことができるからです。
- 83 ：
- いや、普通のクイックソートを書けば自動で並列化してくれる
夢の言語に対して並列化のための特別な(余計な)コードが必要という意味で
- 84 ：
- もう全部OSがやってくれればいいのに
- 85 ：
- >>78が書いているように
> 100万の数値をソートするなら50万50万に分けた
という、分ける処理をしないといけないしね。
1. 分ける
2. 並列で処理する
3. 統合する
単なる1工程で良かった処理が
3工程に分かれてしまう。
もうこれアルゴリズムが変わってるから。
- 86 ：
- ScalaだとActorクラスをラッパーとして使えばいい感じにできそうだけどそれも無駄なコードだからなあ
- 87 ：
- RPGの町にいる人みたいに各々がその他と
かかわらずに独立しているようなものなら
並列化しやすいんだけどね。
多くの問題は、一つのデータの塊を扱うことが多い。
その塊を処理するには、小さな塊に分割して
終わった後に合わせるという作業が必要になってしまう。
入力データが一つで、出力データも一つだから
並列化しにくいんだよ。
- 88 ：
- >>87
その人達を並列化しても当たり判定とかを世界全体で同期しないといけないから意味なくね
- 89 ：
- >>88
同期する量が少なければいいんだよ。
ソートなんか典型的な全データを同期しなければ
いけない処理だからね。
- 90 ：
- やめろ！おまえら関数型を知るな！
C♯とVBの方がいいぞ！Javaがいいぞ主流だぞ！
関数型はクソだ！！！みんなもクソだと言っているから誰も使ってないだろ
みんなC♯とVBを使ってるだろ。みんなと同じ方が互換性があっっていいのです。関数型は忘れましょう。関数型はクソだぞ使ってると恥ずかしい笑われるぞ。
- 91 ：
- 簡単な例は手続き型でも簡単にかけるしな
簡単じゃない例は関数型でも難しいしな
並列をウリにするのはおかしい
- 92 ：
- 宗教とはそういうものです。
- 93 ：
- そもそもshared mutable stateが問題になるほど複雑な並列処理を行うプログラムを作る人間がこのスレにいるのかどうか
- 94 ：
- >>91
だな
関数型よりC♯とVBの方が優れてるよな。おれも同意するわ。
>>92
関数型教だよなwww
惑わされずにC♯とVB使うのが情強だ。
>>93
だな。
おれも同意する。C♯の方が良いとみんなも思ってるよ
- 95 ：
- ドカタ用の汎用プログラミングを侵食するものではないから不安がることは無いよ
- 96 ：
- ランダムアクセス(readもwriteも)がO(1)で
クローンがO(1)であるような、リストって作れる？
これが出来れば並列プログラミングがぐっと楽になるぞ？
- 97 ：
- できます。
- 98 ：
- >>97
どうすんの？普通の俺んちのパソコンでだぞ？
- 99 ：
- 関数理論を調べてください。
- 100 ：
- >>99
みつけた。VListか？
これなんでみんな使わないの？
100〜のスレッドの続きを読む
(´･ω･｀)人間はプログラムやがな
日本語プログラミング言語Mind
WindowsDDK各種についてのスレ
師匠！1週間よろしくお願いするぞ！
【統計分析】機械学習・データマイニング24
くだすれPython(超初心者用) その37
文字コードの種類は何故複数あるのでしょうか？
Kotlin 4
くだらないアルゴリズムを考えるスレ
ふらっと C#,C♯,C＃（初心者用） Part143
--------------------
FF14のウザいやつ part25
司法試験とツイッター８
チラシの裏 85枚目@ダイエット板
【ステマ】マンションノート【業者のやらせ】
池添謙一ｗｗｗｗ美人バレット達と合コンｗｗｗｗｗｗｗｗｗｗ
【あいちトリエンナーレ】会場で商品の調味酢を落として割った５０歳男性、器物損壊で逮捕「わざとじゃない」 ★4
【スマホ】ミッドレンジの「Xperia 8」登場 21：9の6型液晶やデュアルカメラを搭載
MOTHER 12
土屋太鳳雑談スレ part192
NISSAN あ、安部礼司 BEYOND THE AVERAGE Part45
【GREE】不良遊戯 シャッフル・ザ・カード 14枚目
■□■□静岡県高校総合スレッドPart33□■□■
【総合】パズル＆ドラゴンズ7035【パズドラ】
【戦×恋】早乙女五夜はファザコンかわいい
【ストップ安】スルガ銀行の不適切融資、全体で２兆円に拡大か
【B.LEAGUE】宇都宮ブレックスpart53【BREX】
【大量懲戒請求】 ネトウヨから北弁護士に新たに374通の懲戒請求が届く [147827849]
Win10更新強要に愛想が尽きてLinuxに挑む者
【WHOテドロス】「世界は元に戻らない。(私は)３年間懸命に働いてきた」
【芸能】三浦友和 長男・祐太朗の結婚祝福「意思を曲げず入籍に踏み切った2人に逞しさと覚悟を感じます」 [ひかり★]
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
