遅延評価

スマートなrspecのデータ定義方法 概要 rspecの綺麗なコードの勉強としてGitHub - willnet/rspec-style-guide: 可読性の高いテストコードを書くためのお作法集 の内容を見ていましたが、その際気になった"letとlet!の使い分け"にて、こんな方法でspec上の変数を更新できるのかと感動しましたので、その内容についてと併せて気になったことについて備忘録がてら記載をしました。 参考にした記事とは異なるコードですが、rspecでcontext毎にデータを変更してテストを実行したい場合に下記のように記述することができます。この書き方だとcontextやdescri…

競技プログラミングでよく使われる「セグメント木」というデータ構造があります。 これは、配列データに対して2のべき乗区間ごとに「合計値」「最大値」など注目したい演算を適用しておき、任意の区間に対する演算結果を で取得できるものです。 セグメント木のイメージ 例えば、上記セグメント木は黄色で示した配列（8要素）が実データです。それに対して、注目している演算は「合計値」です。 セグメント木は区間に対する問い合わせ(Query)を で実現できて、要素に対する更新(Update)を で実現できます。そのため、区間に対する更新(Update)は の計算量を要します。 しかし、よく考えると区間に対する更新は…

2022/9/18 「末尾再帰最適化」を「末尾呼び出し最適化」に修正 「サンク」関連の怪しい言い回しを修正 その他微妙な表現を修正 Haskellのような純粋関数型プログラミング言語では基本破壊的代入が許されていないために、ループするための構文、または式が用意されていない。そのために、再帰を使ってループを表現する、というのが一般的となっている。しかし、手続き型言語に慣れたプログラマからすれば、それはとても不安になることでもある。今回、なぜ不安になるのかどうかについて解説するとともに、なぜHaskellでは再帰を用いても問題ないのか書いていこうと思う。