確かに、言われてみればなんの区切りもなく匿名関数が始まっているようで、普通の式とどうやって見分けるんだろうという感じがしますね...
foldl (\ z x -> x : z) [] [1..n]
let k = \ z x -> x : z in (([] `k` 1) ... `k` n)
evaluate でそれが WHNF まで評価されることになりますが，まず一番外側の評価(… `k` n) => n : ...
... は評価されませんが， Strict をつける場合 ... の部分が評価されることになり，さらにその評価のために k (…) (n - 1) の評価が走りという感じで，どんどんスタックに退避された値が積み上がっていきスタックオーバーフローになります．foldl' を使った場合，ヒープに積み上がるはずだったサンクが先に消化されながらループが回るため，どちらの場合もスタックオーバーフローは起きませんQ モナドは， runQ を使えば IO の元で走らせることができるようになっているので，それでデバッグできます．大体のデータ型は Show が実装されているので，単純に表示してみると良いと思います．>>> runQ (consType 1) :: IO [Dec] [TySynInstD Data.Tuple.List.Data.Cons (TySynEqn [VarT x_2,TupleT 0] (AppT (TupleT 1) (VarT x_2)))]
Dec を表示する Main モジュールを書いて，プロファイルを取ってみるといいと思いますね．runQ したのをわざわざコピーしてました……OSSでhydra使うにはどうしたらいいでしょうか。自分でたてるしかないですか？自分もよくわからないからきいてみます！
foldr (\x z -> x : z) [] [1 .. size]
foldr にした場合、Strict をつけた場合最適化を有効にしてもスタックがあふれますね。大体理屈は foldl の場合と同じ、ですよね？foldr に渡した関数 (\x z -> x : z) は実質的に両辺をWHNFまで評価する : ということでしょうから。foldr の場合 foldl の時と事情が少々異なっていて，まず strict な foldr 相当のものは通常リストを reverse するなどしない限り，固定スタックの再帰にできません．それは，リストの後ろの要素から得られる値が分からないと前の要素に対しての計算ができないからです． foldr の場合，let k = \ x z -> x : z in (1 `k` foldr k [] [2 .. n])
k が strict なので， foldr k [] [2 .. n] 部分の評価が始まりこの時スタックに値が退避されます．同様の操作がされることによってスタックがどんどん積み上がっていくことになりますが，ヒープの消費量はサンクが nursery にいる間に処理されるため抑えられます．foldr' は foldl を使って実装されているため，スタックを消費しない代わりにヒープを消費する実装になっています (これは前回のやつの原理からですね．今回はリストを生成するため，そちらの方にもヒープが割かれて顕著な差がないですが， \ x z -> x とかだと差が出ると思います) なので，基本的に Strict 拡張下では foldr 系統は使ってはいけません．代わりに foldl' を使ってなんとかするか， lazy にするか， mutable の使用を検討すべきです．foldl の例は一見 strict にしたらいけそうに見えるけど，実は中身が正格消費になっていないので heap を辿りながらスタックオーバーフローしてしまう例になっていて， strict にするだけではダメで中身も正格消費なものを使わないといけないということになります．ここらへんは， (`foldl` は有名な例ですが) 遅延評価での罠を知っていないと判断できないですし，逆に strict 拡張はこういう遅延評価の罠から生まれたもので， BangPattern と strictness flag を書くのがめんどい人用の拡張なので，背景を抑えると strict 拡張がどういう動作をするのかは見えやすいのでは？ というのがあのコメントで言いたいことですねcutsea110@waikiki ~/.ghc/x86_64-linux-8.6.5/package.conf.d (master *) $ ghci -V The Glorious Glasgow Haskell Compilation System, version 8.6.5 cutsea110@waikiki ~/.ghc/x86_64-linux-8.6.5/package.conf.d (master *) $ ghc -V The Glorious Glasgow Haskell Compilation System, version 8.6.5 $ cabal -V cabal-install version 3.0.0.0 compiled using version 3.0.0.0 of the Cabal library