Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Dependent types

< >
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.

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

Built with Scroll v154.3.0