在某些语言(#球拍/类型的,例如),程序员可以在不歧视它,例如,类型指定一个联合类型(U Integer String)捕获整数和字符串,没有标记它们(I Integer) (S String)的data IntOrStringUnion = ...形式或类似的东西.有没有办法在Haskell中做同样的事情？
在Haskell语法中,我们可以有一个(抽象)类型[a -> b],它是函数a到b的列表.具体类型是这样的[Int -> Int],例如map (*) [1..10].是否可以在类型中包含级联函数列表[a -> b, b -> c, c -> d, ...]？列表中的各个元素都是不同的(我认为)所以我认为这不可能.但是依赖类型是否可能？它的类型签名是什么(最好是伪Haskell语法)？