是否存在不支持递归数据类型（如递归struct）的编程语言？

确实存在不支持递归数据类型（包括递归结构体）的编程语言，这类语言多出自编程语言发展的早期阶段，受当时的设计目标与技术限制，类型系统未提供这类特性：

• 早期Fortran（如Fortran 77及更早版本）：作为最早的高级编程语言之一，早期Fortran没有自定义结构化类型（类似struct）的概念，自然不存在递归嵌套的类型定义。直到Fortran 90才引入派生类型，才具备了类似struct的能力，但早期版本完全不支持相关特性。
• 早期COBOL：COBOL的记录类型虽类似struct，但早期版本不允许递归定义——无法创建包含自身类型字段的记录，其类型系统更偏向扁平的业务数据描述。
• 早期BASIC（如达特茅斯BASIC）：早期BASIC仅支持数值、字符串等基础类型，连自定义结构化类型都没有，更谈不上递归数据类型的支持。
• 早期标准Pascal：尽管Pascal支持类struct的记录类型，但早期标准明确禁止递归定义记录，无法定义包含自身类型的字段，后续部分扩展版本（如Turbo Pascal的变体）才解除了这一限制。

这类语言的设计初衷多聚焦于批处理、科学计算等特定场景，优先保证执行效率与语法简单性，而非支持复杂的递归数据结构表达。

内容的提问来源于stack exchange，提问作者lawt3