Тут не от языка, а от компилятора зависит. С gcc, кстати, будет не обломчик (есть опция -foptimize-sibling-calls), хотя в спецификации это не требуется.

Ну а для компиляторов функциональных языков поддержка оптимизации хвостовой рекурсии является обязательным условием, которое указывается в спецификации языка.

Вот интересную ссылочку нашел, там есть интересные примеры использования ленивых вычислений в питоне:
http://svn.python.org/projects/python/trunk/Lib/test/test_generators.py

Даже числа Хамминга есть, к моему величайшему удивлению.

Вот какая интересная ссылка:
http://aspn.activestate.com/ASPN/Cookbook/Python/Recipe/474088

Но это уже малость изврат. Критику можно почитать в камментах на LTU:
http://lambda-the-ultimate.org/node/1331