関数型プログラミング言語Haskell Part34

**デフォルトの名無しさん** · 2025/10/09(木) 21:58:50.95

>>682
「ジェネリック等の抽象化機構を備えた言語であれば～」のところ全然理解してなかったのな

>>683
言語の仕様上は値渡しだけど実際にわざわざコピーして渡す必要がない状況ならコンパイラが最適化してコピーしないマシンコード(コピーして渡すのと同じ結果になるマシンコード)を生成するという話
異なるレイヤーを混同してることに気づいてくれ

あとHaskellのリストは配列じゃないよ

**デフォルトの名無しさん** · 2025/10/10(金) 05:32:34.82

Haskellを勉強したけど何に使えばいいのか分からない
関数型プログラミングで難しい割に、速度が出ないことがわかっているやっぱり速度は正義だろ

**デフォルトの名無しさん** · 2025/10/10(金) 07:17:31.85

>>688
ジェネリックはそのうちC++なりJavaなりで試すけど、まだ試してもいないので…。

最適化の方はもうちょい具体的に教えて欲しいかも。
x = 2 * 100を x = 200にするみたいなのは知ってるけど、あんま詳しくない。

**デフォルトの名無しさん** · 2025/10/10(金) 07:21:42.77

>>689
今のHaskellは（中の人がMSに勤め始めてから）C#並みに速くなってるけど、GUIライブラリとか軒並み遅い時代に開発が止まってる…。
しいて言えばYesod使ってWebアプリかな？
Mac（Appleシリコン）版があるからiOSアプリのロジック部分とかも行けそう。

**デフォルトの名無しさん** · 2025/10/10(金) 20:26:02.07

【移民】　は努力もせずに日本の豊かさを手に入れる
https://medaka.5ch.net/test/read.cgi/kankon/1759822097/l50

**デフォルトの名無しさん** · 2025/10/11(土) 22:42:46.58

22 template <typename T>
23 vector<T> map(function<T(T)> f, const vector<T> arr){
24 vector<T> temp;
25 for(auto i : arr) temp.push_back(f(i));
26 return temp;
27 }

**デフォルトの名無しさん** · 2025/10/11(土) 22:43:04.64

C＋＋で書いてみた。
今回は値渡しにしたけど、本当に最適化でコピーにならないようにできるのかな…。
そもそもどうやってそれを確認するんだろう?
本当なら参照渡しがほぼ要らなくなるけど。
そして、例によって参照渡しだと>>668やコードこそ書いてないがCで一般的な>>677のカッコ内に書いた（通常、それを避けるために結果を格納するためのポインタを引数で渡す）になる。

コードにするとこう。
（Haskellerなのでmapにしたけど、C++だとmapって連想配列なのね。失敗した…）

void map(vector<int>* input, vector<int>* output);

配列と比べて長さを引数に渡さないで良くなるのと、realocしなくても長さを変更できる点が進化しているが。