“abstract data type”可以造什么句，abstract data type造句

A file is an abstract data type defined and implemented by the operating system.

Data structure,data type and abstract data type;

Haskell, being purely functional, goes as deep as redefining the way we treat abstract data types, the same way Wittgenstein goes back to Socrates' dialectic to reform modern philosophy.