理解抽象类型

Question

看看Haskell中的并行并行编程，我看到了：

data STM a -- abstract
instance Monad STM -- among other things

atomically :: STM a -> IO a

data TVar a -- abstract
newTVar   :: a -> STM (TVar a)
readTVar  :: TVar a -> STM a
writeTVar :: TVar a -> a -> STM ()

abstract在STM和TVar中的含义是什么？

Answer 1

抽象数据类型是不公开其实现的类型；只提供类型以及生成和使用该类型的一些操作，但构造函数本身不能供您使用。

这样做通常有以下两个原因之一：

1. 关于该类型的哪些值是有效的，类型系统不能保证哪些值是有效的，并且必须通过仔细的编程来保证哪些值是有效的。如果提供的每个操作都保留了它们，那么只有库作者需要小心，库的用户可能是无忧无虑的。
2. 数据的表示可能会发生变化。如果该类型是抽象的，那么库的未来版本可以自由地更改该类型的实现方式，而不必担心破坏现有的程序，只要新的表示仍然可以支持现有的构建和销毁操作。