我正在观看Bartosz Milewski的这个讲座,他正在解释副产品和总和类型.
在演讲中,他从一个到另一个.
副产品与总和类型相同吗？
haskell type-theory
haskell ×1
type-theory ×1