PLDB
Languages Features Calendar About Lists Add Language
GitHub icon

Abstract Types

Abstract Types

Abstract Types are a language feature.

In programming languages, an abstract type is a type in a nominative type system that cannot be instantiated directly.

Languages without Abstract Types include JavaScript

Languages with Abstract Types include TypeScript

Example from TypeScript:

abstract class Animal {} class Dog extends Animal

Article source

PLDB - Build the next great programming language 路 v2022 Docs Acknowledgements Email GitHub