Tag: 依赖于

数据types提升为依赖challenged

通读ghc 7.4之后。 发布前的注意事项和给予Haskell一张促销纸，我仍然困惑你实际上做什么与促销types。 例如，GHC手册给出了关于升级的数据types的以下示例： data Nat = Ze | Su Nat data List a = Nil | Cons a (List a) data Pair ab = Pair ab data Sum ab = L a | R b 这些有什么样的用途？ 你可以给（代码）的例子？