Dependent type

en

WikiRank.net
ver. 1.6.2

Dependent type

Quality:

Dependent type - data type whose definition depends on a value. Article “Dependent type” in English Wikipedia has 50.2 points for quality (as of July 1, 2025). The article contains 41 references and 14 sections.

In this language version of Wikipedia the article has the best quality. Also, this article is the most popular in that (English) language version.

Since the creation of article “Dependent type”, its content was written by 115 registered users of English Wikipedia and edited by 176 registered Wikipedia users in all languages.

The article is cited 310 times in English Wikipedia and cited 604 times in all languages.

The highest Authors Interest rank from 2001:

  • Local (English): #25920 in December 2015
  • Global: #88220 in December 2015

The highest popularity rank from 2008:

  • Local (English): #12686 in November 2016
  • Global: #31599 in November 2016

There are 11 language versions for this article in the WikiRank database (of the considered 55 Wikipedia language editions).

The quality and popularity assessment was based on Wikipédia dumps from July 1, 2025 (including revision history and pageviews for previous years).

The table below shows the language versions of the article with the highest quality.

Languages with the highest quality

#LanguageQuality gradeQuality score
1English (en)
Dependent type
50.2446
2Chinese (zh)
依赖类型
47.8119
3Arabic (ar)
نوع تابع
37.0909
4Greek (el)
Εξαρτώμενος τύπος
14.1789
5Japanese (ja)
依存型
10.9285
6Czech (cs)
Závislostní typ
6.9012
7Korean (ko)
의존형
6.1327
8Ukrainian (uk)
Залежний тип
4.0331
9Russian (ru)
Зависимый тип
3.9982
10French (fr)
Type dépendant
0.9976
More...

The following table shows the most popular language versions of the article.

Most popular in all the time

The most popular language versions of the article "Dependent type" in all the time
#LanguagePopularity awardRelative popularity
1English (en)
Dependent type
822 811
2Russian (ru)
Зависимый тип
38 790
3Japanese (ja)
依存型
24 013
4Chinese (zh)
依赖类型
20 467
5French (fr)
Type dépendant
11 750
6Greek (el)
Εξαρτώμενος τύπος
2 315
7Czech (cs)
Závislostní typ
1 032
8Ukrainian (uk)
Залежний тип
368
9Korean (ko)
의존형
215
10Min Nan (zhminnan)
Óa-ta̍t hêng-pia̍t
151
More...

The following table shows the language versions of the article with the highest popularity in the last month.

Most popular in June 2025

The most popular language versions of the article "Dependent type" in June 2025
#LanguagePopularity awardRelative popularity
1English (en)
Dependent type
4 999
2Japanese (ja)
依存型
211
3Chinese (zh)
依赖类型
205
4Russian (ru)
Зависимый тип
149
5French (fr)
Type dépendant
50
6Czech (cs)
Závislostní typ
20
7Greek (el)
Εξαρτώμενος τύπος
18
8Korean (ko)
의존형
18
9Arabic (ar)
نوع تابع
17
10Ukrainian (uk)
Залежний тип
11
More...

The following table shows the language versions of the article with the highest Authors’ Interest.

The highest AI

Language versions of the article "Dependent type" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.
#LanguageAI awardRelative AI
1English (en)
Dependent type
115
2Russian (ru)
Зависимый тип
18
3Chinese (zh)
依赖类型
11
4Japanese (ja)
依存型
9
5French (fr)
Type dépendant
7
6Greek (el)
Εξαρτώμενος τύπος
6
7Czech (cs)
Závislostní typ
5
8Ukrainian (uk)
Залежний тип
2
9Arabic (ar)
نوع تابع
1
10Korean (ko)
의존형
1
More...

The following table shows the language versions of the article with the highest Authors’ Interest in the last month.

The highest AI in June 2025

Language versions of the article "Dependent type" with the highest AI in June 2025
#LanguageAI awardRelative AI
1Arabic (ar)
نوع تابع
2
2Russian (ru)
Зависимый тип
1
3Czech (cs)
Závislostní typ
0
4Greek (el)
Εξαρτώμενος τύπος
0
5English (en)
Dependent type
0
6French (fr)
Type dépendant
0
7Japanese (ja)
依存型
0
8Korean (ko)
의존형
0
9Ukrainian (uk)
Залежний тип
0
10Chinese (zh)
依赖类型
0
More...

The following table shows the language versions of the article with the highest number of citations.

The highest CI

Language versions of the article "Dependent type" with the highest Citation Index (CI)
#LanguageCI awardRelative CI
1English (en)
Dependent type
310
2Russian (ru)
Зависимый тип
91
3Ukrainian (uk)
Залежний тип
61
4French (fr)
Type dépendant
52
5Chinese (zh)
依赖类型
30
6Arabic (ar)
نوع تابع
23
7Japanese (ja)
依存型
22
8Czech (cs)
Závislostní typ
6
9Korean (ko)
의존형
6
10Greek (el)
Εξαρτώμενος τύπος
3
More...

Scores

Estimated value for Wikipedia:
English:
Global:
Popularity in June 2025:
English:
Global:
Popularity in all years:
English:
Global:
Authors in June 2025:
English:
Global:
Registered authors in all years:
English:
Global:
Citations:
English:
Global:

Quality measures

Interwikis

#LanguageValue
arArabic
نوع تابع
csCzech
Závislostní typ
elGreek
Εξαρτώμενος τύπος
enEnglish
Dependent type
frFrench
Type dépendant
jaJapanese
依存型
koKorean
의존형
ruRussian
Зависимый тип
ukUkrainian
Залежний тип
zhChinese
依赖类型
zhminnanMin Nan
Óa-ta̍t hêng-pia̍t

Popularity rank trends

Best Rank English:
#12686
11.2016
Global:
#31599
11.2016

AI rank trends

Best Rank English:
#25920
12.2015
Global:
#88220
12.2015

Languages comparison

Important global interconnections (July 2024 – June 2025)

Wikipedia readers most often find their way to information on Dependent type from Wikipedia articles about Curry–Howard correspondence, Agda, Lambda cube, Idris and Type system. Whereas reading the article about Dependent type people most often go to Wikipedia articles on Intuitionistic type theory, F*, Lean, Idris and Agda.

Cumulative results of quality and popularity of the Wikipedia article

List of Wikipedia articles in different languages (starting with the most popular):

News from 28 January 2026

On 28 January 2026 in multilingual Wikipedia, Internet users most often read articles on the following topics: 2025–26 UEFA Champions League, Nipah virus, Doomsday Clock, UEFA Champions League, Elena Rybakina, Donald Trump, 2026 European Men's Handball Championship, killing of Alex Pretti, Kristi Noem, deaths in 2026.

In English Wikipedia the most popular articles on that day were: Ajit Pawar, Border 2, Sharad Pawar, Killing of Alex Pretti, Ilhan Omar, Sunetra Pawar, Todd Monken, Kristi Noem, Wonder Man (miniseries), Gregory Bovino.

About WikiRank

The WikiRank project is intended for automatic relative evaluation of the articles in the various language versions of Wikipedia. At the moment the service allows to compare over 44 million Wikipedia articles in 55 languages. Quality scores of articles are based on Wikipedia dumps from July, 2025. When calculating current popularity and AI of articles data from June 2025 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2025... More information