Dependent types - language feature

Example from Coq:

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

Example from Jule:

int uint uintptr

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

Languages without Dependent types include Ruby

Read more about Dependent types on the web: 1.

HTML of this page generated by Features.ts