なあ、再帰関数好きな人いる？パート3 [転載禁止]©2ch.net

**ハノン** ◆QZaw55cn4c · 2021/07/25(日) 23:45:12.36

>>898
末尾再帰ならそうだと思いますが、末尾再帰でなければ無理でしょう >>896-897 は末尾再帰じゃないから最適化されにくい、というか、されない

**デフォルトの名無しさん** · 2021/10/02(土) 15:46:41.87

>>8
ループと再帰の能力は同じです
かなり古い計算論の結果です

**デフォルトの名無しさん** · 2021/10/02(土) 15:52:22.08

>>892
ゲーデル先生

**デフォルトの名無しさん** · 2021/10/02(土) 16:12:27.49

>>899
結合法則を仮定していいドメインなら
CPS変換を用いて最適化する手法が随分前からあります
結合法則はGPU並列化でも使われてます
浮動小数点の場合は工夫しないと誤差が変わりますが

ちなみにC++ conceptの初期案でもaxiomで法則を記述出来ました

**ハノン** ◆QZaw55cn4c · 2021/10/02(土) 20:52:53.81

>>902
scheme の継続渡しに関係しますか？
キーワードありがとうございます

**デフォルトの名無しさん** · 2021/10/04(月) 21:48:56.27

>>903
そう
Continuation-passing style, defunctionalization, and associativity
Categorical Structure of ContinuationPassing Style
この辺のサンプルプログラム読んで

**デフォルトの名無しさん** · 2021/11/01(月) 12:26:41.37

履歴をとってるループが再帰

**デフォルトの名無しさん** · 2022/09/07(水) 22:59:05.75

すき

しかし再帰絶対書かないマンが思いの外多くて草生えるわ

末尾最適化できない再起をループに展開したって結局キューだのスタックオブジェクトでヒープ使うわけで
メモリ大幅に節約できると勘違いしてる基地外とか話にならん

再帰深度がたかだか1000段とかでスタックフレームにデカいオブジェクトブチ込んだりしなきゃ
素直に再帰で組むのがいいに決まってるじゃないか
数学的演算でもしない限り業務用でスタック溢れるケースを探す方が大変

**デフォルトの名無しさん** · 2022/09/08(木) 09:28:47.03

スタックとヒープは別物
共有してるアーキテクチャもあるが

**デフォルトの名無しさん** · 2022/09/08(木) 13:02:30.59

ループに展開できる処理をわざわざ再帰で書く奴も大概やけどな。

**デフォルトの名無しさん** · 2022/09/08(木) 15:04:24.55

展開できないものあるの

**ハノン** ◆QZaw55cn4c · 2022/09/11(日) 14:15:38.74

>>909
二方向に再帰するもの、は展開に苦労しますね
式の評価は、再帰じゃないと書けないですね

**デフォルトの名無しさん** · 2022/09/15(木) 12:56:10.95

てｓｔ

**デフォルトの名無しさん** · 2024/01/02(火) 13:18:51.50

再帰的データ構造は再帰でたどるのが楽なんだけど
ループで処理したほうが途中で抜けたり処理を組み合わせやすい
そこで再帰的な処理を遅延リストと組み合わせてループで処理するやり方がいまでは一般的な気がする

こういうふうに C#
https://paiza.io/projects/WbmxzuNdJq95o9RYTKFY_A

**デフォルトの名無しさん** · 2024/01/04(木) 11:34:09.71

何が一般的なのか知らんがかなり変態的なコードだな
ループでGetEnumerator呼び出したりMoveNextの戻り値を見ずCurrentを取り出したりは一般的じゃないぞ
つーかバグだろそれ

なあ、再帰関数好きな人いる？ パート3 [転載禁止]©2ch.net

なあ、再帰関数好きな人いる？パート3 [転載禁止]©2ch.net