支持尾递归优化的编程语言包括但不限于以下几种：
Scheme/Racket：Scheme是一种函数式编程语言，它强烈支持尾递归优化，并保证在尾递归的情况下不会出现栈溢出。
Clojure：Clojure是一种基于JVM的函数式编程语言，它也支持尾递归优化。
Elixir：Elixir是一种基于Erlang虚拟机的函数式编程语言，它也支持尾递归优化。
Kotlin：Kotlin是一种静态类型的编程语言，它在编译时支持尾递归优化。
Swift：Swift是一种由Apple开发的编程语言，它在编译时也支持尾递归优化。
Haskell：Haskell中的所有递归调用都被视为可能的尾调用，编译器会自动进行尾调用优化。
Scala：Scala支持尾递归优化，并且可以在没有尾调用优化的Java虚拟机上运行。
Lua：Lua支持尾调用优化，并且是其语言规范的一部分。
Erlang：Erlang支持尾递归优化，它是其语言规范的一部分。
ES6 (ECMAScript 2015)：ES6开始支持尾调用优化，但实际支持情况取决于具体的JavaScript引擎实现。
需要注意的是，即使语言规范中支持尾递归优化，实际的实现和支持程度可能还取决于编译器、解释器或运行时环境的具体实现。开发者在使用时应查阅相关文档以确认尾递归优化的支持情况。
如何判断编程语言是否支持尾递归优化？
要判断一个编程语言是否支持尾递归优化，可以通过以下几个步骤：
查阅官方文档：通常编程语言的官方文档会明确指出是否支持尾递归优化。
查看语言规范：一些语言规范中会规定尾递归优化的要求，例如Scheme语言。
编译器或解释器的支持：即使语言本身支持尾递归优化，实际支持程度也取决于编译器或解释器的实现。
社区和第三方库：如果语言本身不支持，社区可能会提供第三方库来实现类似的功能，如Python的
tail_call库。测试验证：通过编写尾递归函数并尝试运行，观察是否会发生栈溢出，可以作为是否支持尾递归优化的简单验证。
查看编译器优化选项：一些编译器可能提供尾递归优化的选项，通过查看编译器的文档和优化标志可以了解是否支持。
搜索专业社区讨论：专业编程社区如Stack Overflow上的讨论可以提供是否支持尾递归优化的线索。
分析语言的设计哲学：函数式编程语言倾向于支持尾递归优化，因为它们强调不可变数据和纯函数。
查看语言的发展历史：一些语言可能在新版本中加入了对尾递归优化的支持，了解语言的发展历史可以帮助判断。
参考其他开发者的经验：其他开发者的实际使用经验也是判断一个语言是否支持尾递归优化的重要依据。
需要注意的是，即使语言支持尾递归优化，也不一定所有的编译器或解释器都会默认启用这一优化，可能需要特定的编译选项或运行时配置。