PLDB
Languages Features Calendar CSV Lists Blog About Sponsor Add Language
GitHub icon

Dependent types

Dependent types

Dependent types are a 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, Jule, Epigram, starpial

Example from Jule:
int uint uintptr
constructor-feature.html 路 dependent-types-feature.html 路 dispose-blocks-feature.html

View source

PLDB - Build the next great programming language 路 v2022 Day 28 Docs Build Acknowledgements Traffic Today Traffic Trends Mirrors GitHub feedback@pldb.com