复杂控制流（循环、条件、异常）难以用纯目录层级优雅表达，类型系统和运算逻辑缺少自然的文本语法载体，这导致这类语言往往停留在概念验证阶段。