LISP

>>676
>(4)末尾再帰呼出しをループに変える最適化を行なうLispコンパイラがある．

多分、普通のLISPでは、コンパイルしなければ展開してくれない。
(named-letを初めから提供してるLISP処理系なら多分インタプリタでも展開する。)
LISPの方言のSchemeではデフォで展開される。(言語仕様の一つ)
他のHaskellやMLみたいな関数型言語はデフォ。