我正在阅读一份关于依赖类型编程的论文，并遇到了以下引用：“[...] 与Haskell的类型类不同，数据类型是关闭的”，这意味着如果不扩展数据类型，就无法向宇宙中添加新类型。” 我的新手问题是：Haskell类型类开放的意义是什么？它们如何可扩展？同时，具有这种属性（开放与关闭）会产生哪些类...

我想知道是否可以扩展Android联系人数据库？ 从这里 - http://d.android.com/reference/android/provider/ContactsContract.html 它说： ContactsContract定义了一个可扩展的与联系人相关的信息数据库。 ...