PLDB
Languages Features Calendar About Lists Add Language
GitHub icon

Dependent types

Dependent types

Dependent types are a language feature.

In computer science and logic, a dependent type is a type whose definition depends on a value.

Languages without Dependent types include Ruby

Languages with Dependent types include Idris, Epigram, starpial

Article source

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