Haskell 中的产品类型很容易定义:
data Person String String
是两种类型的产品。两种类型的联产品是
type Shape=Either Circle Rectangle
但是,虽然产品很容易扩展到三种或更多类型,但对于副产品来说似乎并不那么简单。这种差异背后是否有理论依据,或者纯粹是技术原因?
Haskell 中的产品类型很容易定义:
data Person String String
是两种类型的产品。两种类型的联产品是
type Shape=Either Circle Rectangle
但是,虽然产品很容易扩展到三种或更多类型,但对于副产品来说似乎并不那么简单。这种差异背后是否有理论依据,或者纯粹是技术原因?