lisp schemeスレで、lambdaだけのループ制御が話題になってますが、
これって、λだけでループが組めるという証明になるんでしょうか？
(schemeのdefine,set!に該当するものを使わずに、)
MLとかHaskellでも同じ様なのが作れるんでしょうか。