lethevert https://blog.hatena.ne.jp/lethevert/ lethevert is a programmer https://lethevert.hatenadiary.org/ プログラミング [id:lethevert:20060109:p1]の時に考えていた、「何故Haskellにはfor文がないのか？」という話。 そのときに、私は、末尾再帰を最適化するからだよ、という結論を出していたのだけれど、今から考えるとそれはちょっと違うかも、と思った。といっても、私はHaskellはよく分からないので、Cleanの話しかできないのだけれど。 そもそも、Cleanでは、「末尾再帰の最適化」なんてしていないんじゃないかな？ 最左最外簡約の手順通りに簡約を進めると、末尾再帰のパターンになっていると、スタックが積まれないで簡約されるというだけのことではないかと。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Flethevert.hatenadiary.org%2Fentry%2F20060402%2Fp1" title="Concurrent Clean : 末尾再帰の最適化 - lethevert is a programmer" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-04-02 00:00:02 rich https://lethevert.hatenadiary.org/entry/20060402/p1 1.0 100%