tuple構築時再帰深度最適化の終焉

GP @cifar10

再帰深度が対数オーダーで構築出来るtuple、その代わりに計算量の方にしわ寄せが来ていてコレ指数時間にでもなってるんじゃないかってレベルでコンパイル終わらなくて結局要素数増やすといつまで経っても構築終わらないから使いものにならないみたいなアレを味わった。

GP @cifar10

実装読もうとしたけどtupleだけで1000行ぐらいあって読めなかった

GP @cifar10

(根性がなくて)読めない

I @wx257osn2

私のだとしたら、すまんなとしか言い様がない [Nexus5]

GP @cifar10

実装解読出来たら最適化してオーダー下げられないかなぁ…

I @wx257osn2

実いうとな、私ももうあのコード弄れる気がせんのじゃ [Nexus5]

I @wx257osn2

大体noexceptとか規格のrequireを忠実に書こうとして変なマクロ突っ込んであるのが読みにくくなってる原因 [Nexus5]

I @wx257osn2

ちなみに実装部分はvalue_btreeに集約されてるけどあそこもtuple_catを対数オーダーにする過程で魔改造受けてるからかなりヤバイことになってる [Nexus5]

I @wx257osn2

つまり闇だ、どうしてああなった [Nexus5]

南山まさかず @minamiyama1994

対数オーダーtuple、作ってみようかな

南山まさかず @minamiyama1994

型レベルでは対数オーダー型リストとかできてるわけだから、もしかしたらその辺のノウハウが活かせるかもしれない

南山まさかず @minamiyama1994

「かも」しれない

GP @cifar10

@minamiyama1994 構築の段階で、木のような感じに組み立てると深度が対数になるという解説を見ましたが、実装見てもつらみでした…。

南山まさかず @minamiyama1994

@fimbul11 うわーっつらそう

I @wx257osn2

近々再帰深度低めに抑えられたunique入りのtupleをveilerに入れます [Nexus5]

I @wx257osn2

tupleとかlambdaとか、型と値の流れが逆行するの実装がどえらいことになるからつらみしか無い [Nexus5]

I @wx257osn2

あ、ちなみにGCCはメモリそこそこ積んどけば結構行けますよ、Clangがちょっと怪しい [Nexus5]

GP @cifar10

アレ理解したら勉強会で45分ぐらいは実装について発表出来るレベル…

I @wx257osn2

自分でも良くあんなコードかけたなぁと思うし、アレの前提としてindex/type_tupleの対数オーダー実装があるので、ボレロさんとのじさんにはまじで感謝してる [Nexus5]

南山まさかず @minamiyama1994

対数オーダーtuple、何とか頑張って多重継承とか使えそうな気がするのだけれどなぁ

I @wx257osn2

継承は全く考慮してなかったので、使うともう少し楽に書ける可能性は高い [Nexus5]

南山まさかず @minamiyama1994

対数オーダーtuple、僕なら多分多重継承使う、具体案は無い

GP @cifar10

多重継承…書ける気もするけどどうなんだろうな

南山まさかず @minamiyama1994

2分割するってのはもちろんなのだけれど、あーでもそれ合成でもいいかとかとも考えている

I @wx257osn2

少なくとも継承と包含でコンパイラに与える負荷の差がどんくらいか、誰か調べてないの(ねーよ) [Nexus5]