含Any类型的类型系统设计疑问：是否需单独定义any[]？

1. any[]是否属于Any类型？ #

如果你的Any类型定义为「可容纳任意类型」，那么any[]完全属于Any类型。数组本身是一种复合类型，Any类型的核心就是承接所有未明确限定的类型实例，混合类型数组[1, true]自然是Any的合法实例。

2. 选项1与选项2的选择建议 #

• 选选项1即可满足绝大多数场景：它的类型体系更简洁，Any类型可以天然覆盖any[]的场景——就像你不需要把bool[][]单独列为顶层类型，因为它是bool[]的衍生形态，属于已有类型体系的一部分。额外添加any[]只会增加类型系统的复杂度，且没有必要。
• 仅当你的系统有明确的精细化类型标注需求（比如必须区分「单个任意值」和「任意值数组」的语法或业务场景），才考虑选项2，但这种情况非常少见。

3. 选项1对递归数组、锯齿数组的支持情况 #

完全支持：

• 递归数组[[1, true], [2, "hi"]]：外层数组的每个元素都是Any类型的数组（本身也属于Any），整个结构可以被Any类型完整容纳。
• 锯齿数组[[1,"a"], 0]：元素包含Any类型的数组和num类型值（num也属于Any），整个结构作为Any类型的实例，完全符合选项1的类型定义。

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