Idris (programming language)

en

WikiRank.net
ver. 1.6

Idris (programming language)

Quality:

Idris - purely functional programming language. This programming language is the 318th most popular in the global Wikipedia ranking of programming languages and the 274th most popular programming language in English Wikipedia. Article "Idris (programming language)" in English Wikipedia has 31.6 points for quality (as of August 1, 2024). The article contains 15 references and 10 sections. The article also contains quality flaw template, which reduce quality score.

This article has the best quality in Catalan Wikipedia. However, this article is the most popular in English version.

Achievements in all the time:
English Wikipedia:
Global Wikipedia:
The 318th most popular in programming languages.

In July 2024 the article "Idris (programming language)" was edited by 1 authors in English Wikipedia and written by 1 authors in all languages.

Since the creation of article "Idris (programming language)", its content was written by 53 registered users of English Wikipedia and edited by 80 registered Wikipedia users in all languages.

Idris is on the 274th place in local ranking of programming languages in English Wikipedia and on the 318th place in global ranking of programming languages in all the time.

The article is cited 106 times in English Wikipedia and cited 374 times in all languages.

The highest Authors Interest rank from 2001:

  • Local (English): #34859 in November 2014
  • Global: #64831 in November 2014

The highest popularity rank from 2008:

  • Local (English): #217621 in April 2017
  • Global: #326842 in April 2017

There are 9 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 August 1, 2024 (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
1Catalan (ca)
Idris (llenguatge de programació)
31.9256
2English (en)
Idris (programming language)
31.643
3Chinese (zh)
Idris
28.5249
4Persian (fa)
ادریس (زبان برنامه‌نویسی)
25.928
5Russian (ru)
Idris (язык программирования)
22.8204
6Japanese (ja)
Idris (プログラミング言語)
21.1559
7Romanian (ro)
Idris (limbaj de programare)
21.0912
8Dutch (nl)
Idris (programmeertaal)
7.9189
9Czech (cs)
Idris (programovací jazyk)
0.2434
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 "Idris (programming language)" in all the time
#LanguagePopularity awardRelative popularity
1English (en)
Idris (programming language)
370 165
2Russian (ru)
Idris (язык программирования)
38 833
3Chinese (zh)
Idris
16 360
4Catalan (ca)
Idris (llenguatge de programació)
2 072
5Japanese (ja)
Idris (プログラミング言語)
848
6Persian (fa)
ادریس (زبان برنامه‌نویسی)
522
7Romanian (ro)
Idris (limbaj de programare)
317
8Czech (cs)
Idris (programovací jazyk)
267
9Dutch (nl)
Idris (programmeertaal)
51
More...

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

Most popular in July 2024

The most popular language versions of the article "Idris (programming language)" in July 2024
#LanguagePopularity awardRelative popularity
1English (en)
Idris (programming language)
2 443
2Chinese (zh)
Idris
456
3Russian (ru)
Idris (язык программирования)
183
4Japanese (ja)
Idris (プログラミング言語)
46
5Czech (cs)
Idris (programovací jazyk)
8
6Dutch (nl)
Idris (programmeertaal)
8
7Catalan (ca)
Idris (llenguatge de programació)
7
8Romanian (ro)
Idris (limbaj de programare)
4
9Persian (fa)
ادریس (زبان برنامه‌نویسی)
3
More...

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

The highest AI

Language versions of the article "Idris (programming language)" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.
#LanguageAI awardRelative AI
1English (en)
Idris (programming language)
53
2Russian (ru)
Idris (язык программирования)
9
3Catalan (ca)
Idris (llenguatge de programació)
4
4Chinese (zh)
Idris
4
5Persian (fa)
ادریس (زبان برنامه‌نویسی)
3
6Romanian (ro)
Idris (limbaj de programare)
3
7Japanese (ja)
Idris (プログラミング言語)
2
8Czech (cs)
Idris (programovací jazyk)
1
9Dutch (nl)
Idris (programmeertaal)
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 July 2024

Language versions of the article "Idris (programming language)" with the highest AI in July 2024
#LanguageAI awardRelative AI
1English (en)
Idris (programming language)
1
2Catalan (ca)
Idris (llenguatge de programació)
0
3Czech (cs)
Idris (programovací jazyk)
0
4Persian (fa)
ادریس (زبان برنامه‌نویسی)
0
5Japanese (ja)
Idris (プログラミング言語)
0
6Dutch (nl)
Idris (programmeertaal)
0
7Romanian (ro)
Idris (limbaj de programare)
0
8Russian (ru)
Idris (язык программирования)
0
9Chinese (zh)
Idris
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 "Idris (programming language)" with the highest Citation Index (CI)
#LanguageCI awardRelative CI
1Chinese (zh)
Idris
190
2English (en)
Idris (programming language)
106
3Catalan (ca)
Idris (llenguatge de programació)
54
4Russian (ru)
Idris (язык программирования)
12
5Czech (cs)
Idris (programovací jazyk)
5
6Romanian (ro)
Idris (limbaj de programare)
4
7Persian (fa)
ادریس (زبان برنامه‌نویسی)
2
8Dutch (nl)
Idris (programmeertaal)
1
9Japanese (ja)
Idris (プログラミング言語)
0
More...

Scores

Estimated value for Wikipedia:
English:
Global:
Popularity in July 2024:
English:
Global:
Popularity in all years:
English:
Global:
Authors in July 2024:
English:
Global:
Registered authors in all years:
English:
Global:
Citations:
English:
Global:

Quality measures

Interwikis

#LanguageValue
caCatalan
Idris (llenguatge de programació)
csCzech
Idris (programovací jazyk)
enEnglish
Idris (programming language)
faPersian
ادریس (زبان برنامه‌نویسی)
jaJapanese
Idris (プログラミング言語)
nlDutch
Idris (programmeertaal)
roRomanian
Idris (limbaj de programare)
ruRussian
Idris (язык программирования)
zhChinese
Idris

Popularity rank trends

Best Rank English:
#217621
04.2017
Global:
#326842
04.2017

AI rank trends

Best Rank English:
#34859
11.2014
Global:
#64831
11.2014

Languages comparison

Important global interconnections

Wikipedia readers most often find their way to information on Idris from Wikipedia articles about Rust, Agda, Dependent type, Idris and Haskell. Whereas reading the article about Idris people most often go to Wikipedia articles on Agda, Total functional programming, Substructural type system, Dependent type and Haskell.

Cumulative results of quality and popularity of the Wikipedia article

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

zh: Idris

News from 5 January 2025

On 5 January 2025 in multilingual Wikipedia, Internet users most often read articles on the following topics: Squid Game, Squid Game, season 2, Avicii, Nosferatu, Epiphany, human metapneumovirus, Jimmy Carter, Elon Musk, Jeff Baena, Aubrey Plaza.

In English Wikipedia the most popular articles on that day were: Jeff Baena, Aubrey Plaza, The Vivienne, Squid Game season 2, Brothers Home, Nosferatu (2024 film), Squid Game, Jimmy Carter, Pushpa 2: The Rule, Pan Am Flight 103.

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 August, 2024. When calculating current popularity and AI of articles data from July 2024 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2023... More information