Dependent types - language feature

Example from 1 languages: Coq

(* http://www-sop.inria.fr/members/Yves.Bertot/tsinghua/tsinghua-1.pdf *)

Example from 1 languages: Jule

int uint uintptr

Languages with Dependent types include Coq, Idris, Jule, Epigram, starpial

Languages without Dependent types include Ruby

View all concepts with or missing a hasDependentTypes measurement

Read more about Dependent types on the web: 1.

PLDB - Build the next great programming language · Add · Issues · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements