代码之家 › 专栏 › 技术社区 › Kevin Meredith

理解抽象类型

haskell

Kevin Meredith · 技术社区 · 7 年前

正在查看 Parallel and Concurrent Programming in 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 ?

1 回复 | 直到 7 年前

Daniel Wagner 7 年前

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

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

推荐文章

Azathoth · 当使用过滤器不删除任何案例时,涉及空列表的案例不会编译

2 年前

Ethan Smallwood · Haskell从列表中的记录获取数据

2 年前

trpnd · 如何定义由两个任意单声道变压器组成的单声道变压器?

2 年前

Delfin · Haskell从do符号到Applicative符号的传递(第2部分)

2 年前

Fabus1184 · Haskell mapM_不打印

2 年前

Gotthold · 基于范数约束向量的类型

2 年前

dmcdo · 有没有一种干净的方法可以在一个表达式中得到列表的开头和结尾?

2 年前

jian · haskell将另一个函数用作输入参数

2 年前

Jocafrei · 用Haskell函数实现最大公约数函数

6 年前

pcoppi · 尝试在Haskell和根据-Wall编写函数时,我需要一个匹配(\u:\ u:\ u)的模式。这个模式意味着什么,为什么我需要它?

6 年前