Abstract Data Types without the Types

作者：Wadler Philip^*

来源：Journal of Universal Computer Science, 2017, 23(1): 5-20.

• abstract data type
• information hiding
• gradual typing
• Miranda
• Haskell

The data abstraction mechanism of Miranda may be adapted to a dynamically typed programming language by applying ideas from gradual typing.

• 出版日期2017