関数型プログラミング言語Haskell Part34 (694ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
677(2): 10/09(木)02:23 ID:j1OYGPg+(1/5) AAS
>>676
確かにメモリ管理が必要な手続き型言語全般というのは広げすぎたかもしれない。
静的な配列を関数内で作ってポインタを返す形で作ると関数を抜ける際に配列の寿命が尽きる。
（通常、それを避けるために結果を格納するためのポインタを引数で渡す）
C言語で関数型言語のmap関数みたいな配列を返す関数が作れるか?と考えると動的に作って、使い終わったら解放する形になるのかなと。
ここへの書き込みが長すぎると怒られたので削除したが、構造体で包むという案も考えた。
値渡しだからコピーコストがかさむ。
省1
682(1): 10/09(木)18:19 ID:j1OYGPg+(2/5) AAS
AA省
683(1): 10/09(木)18:28 ID:j1OYGPg+(3/5) AAS
>>678
ん、まてよ？
最適化で不要なコピーは消えるって言っても、関数プログラミングのmap関数と同じ動きなら、参照元の値は変わったらダメなので参照渡しされたら困るんだが、どんな最適化でコピー（値渡し）で無く、かつ参照渡しでもない状態ってどんな状態?
685: 10/09(木)19:50 ID:j1OYGPg+(4/5) AAS
>>684
うん、遅延評価だから基本参照を返してるはず。バード本参照
（なので>>668を書いてみたわけで）
immutableなら
a = [1..4]
b = map (+1) [1..4]
print a
省13
686: 10/09(木)20:01 ID:j1OYGPg+(5/5) AAS
言ってみればHaskellは新しい参照をどんどん生み出して、不要になった参照はガンガンGCする。
Cはそういうプログラミングには（当たり前だが）向かないし、当たり前にCの方が効率は良い。
人間が書くコードはHaskellみたく数学に近いほど短くなる。
どっちが良いとかじゃなく、何を優先するかという話。
（なのだなぁと、Cでmap関数もどきを書いて再確認した）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.823s*