>>571
遅レスで申し訳ないけど、 stack overflow はしないと思うのですが。
クロージャーはヒープに取られるから。
tail callに限らずクロージャーでヒープを大量に消費しがちというだけではないの？

あと、sum [] s = s で、計算が開始するわけでもないです。