在依赖类型函数式编程语言中扁平化嵌套列表是否更容易实现？

Haskell原生对通用嵌套列表flatten函数的支持情况 #

Haskell最初的标准版本（Haskell 98）确实不支持定义这类可以处理任意深度嵌套列表的通用函数。核心原因是标准Haskell的类型系统不允许函数输入类型随参数的结构动态变化：不同深度的嵌套列表本身就是不同的类型，比如[[Int]]和[[[Int]]]是完全独立的类型，标准类型系统没有能力在同一个函数定义中适配所有可能的嵌套深度类型。
你提到的基于TypeFamilies、MultiParamTypeClasses等GHC扩展的实现方案，都是后续推出的非标准语言扩展，不属于Haskell最初的设计范围。

依赖类型语言对该问题的支持 #

这类问题在支持依赖类型的语言中确实可以很轻松地解决。依赖类型的核心特性就是允许类型依赖于普通值，嵌套列表的深度本身就是一个可以作为参数传递的数值，我们可以先定义由深度参数化的嵌套列表类型，再基于这个参数化类型写递归的flatten函数，不管嵌套深度是多少，都可以统一处理并返回一维列表结果。
你提到的“将列表类型作为参数传入函数”的思路完全可行，依赖类型语言中类型本身就是一等公民，可以和普通值一样传递、计算，完全可以基于传入的嵌套列表类型自动匹配对应的处理逻辑。

Haskell类型扩展与完整依赖类型的核心差异 #

Haskell的类型族、多参数类型类等扩展仅实现了依赖类型的部分能力，远没有覆盖完整的依赖类型理论，二者核心差异主要有两点：

• 类型与值的打通程度不同：Haskell的类型层面和运行时值层面是割裂的，运行时计算得到的普通值不能直接作为类型参数使用，必须做额外的 lifting 转换，而依赖类型语言中值和类型是无缝打通的，没有这种使用限制。
• 逻辑自恰性不同：依赖类型语言的类型系统可以作为完整的命题证明系统使用，而Haskell的类型系统因为要兼容惰性求值、允许程序非终止，逻辑上是不自恰的，无法实现依赖类型理论的全部证明能力。

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