-
19 votesanswersviews
Haskell单身人士:我们用SNat获得了什么
我正在努力培养Haskell单身人士 . 在论文Dependently Typed Programming with Singletons和他的博客文章singletons v0.9 Released!中,Richard Eisenberg定义了数据类型Nat,它用peano公理定义了自然数: data Nat = Zero | Succ Nat 通过使用语言扩展DataKinds,此数据类型将...