View source for English Wikipedia @ Freddythechick:Articles for deletion/Idris (programming language)

<div class="boilerplate metadata afd vfd xfd-closed" style="background-color: #F3F9FF; margin: 2em 0 0 0; padding: 0 10px 0 10px; border: 1px solid #AAAAAA;">
:''The following discussion is an archived debate of the proposed deletion of the article below. <span style="color:red">'''Please do not modify it.'''</span>  Subsequent comments should be made on the appropriate discussion page (such as the article's [[Help:Using talk pages|talk page]] or in a [[Wikipedia:Deletion review|deletion review]]).  No further edits should be made to this page.''
<!--Template:Afd top

Note:  If you are seeing this page as a result of an attempt to re-nominate an article for deletion, you must manually edit the AfD nomination links to create a new discussion page using the name format of [[Wikipedia:Articles for deletion/PAGENAME (2nd nomination)]].  When you create the new discussion page, please provide a link to this old discussion in your nomination. -->

The result was  '''Keep.'''  I have withdrawn my nomination.  [[User:Msnicki|Msnicki]] ([[User talk:Msnicki|talk]]) 19:54, 29 April 2013 (UTC)
===[[Idris (programming language)]]===


:{{la|Idris (programming language)}} – (<includeonly>[[Wikipedia:Articles for deletion/Idris (programming language)|View AfD]]</includeonly><noinclude>[[Wikipedia:Articles for deletion/Log/2013 April 27#{{anchorencode:Idris (programming language)}}|View log]]</noinclude>{{int:dot-separator}} <span class="plainlinks">[http://toolserver.org/~snottywong/cgi-bin/votecounter.cgi?page=Wikipedia:Articles_for_deletion/Idris_(programming_language) Stats]</span>)
:({{Find sources|Idris (programming language)}})
<del>Lacks reliable independent secondary sources to establish notability as required by [[WP:GNG]].  All the sources offered and all that I could find by Googling are [[WP:PRIMARY]] and thus unsuitable.  This could be a case where sources may soon become available to establish notability and the article could be resurrected.  But Wikipedia is not a [[WP:CRYSTALBALL]]. [[User:Msnicki|Msnicki]] ([[User talk:Msnicki|talk]]) 21:14, 27 April 2013 (UTC)</del>

'''Nomination withdrawn.'''  I'm satisfied that the [http://pragprog.com/magazines/2013-04/dependent-types Pragmatic Programmers article] cited by 130.226.133.44 meets the requirement for significant independent secondary coverage.  [[User:Msnicki|Msnicki]] ([[User talk:Msnicki|talk]]) 16:49, 29 April 2013 (UTC)

* '''Keep''' IDRIS is important enough to have been proposed for inclusion in an undergraduate program, {{Citation|title=A proposed curriculum for an undergraduate software engineering degree|url=http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=827051}}, and Brady's "IDRIS---: systems programming meets full dependent types" has been cited 24 times, such third-party sources include:
:*{{Citation|title=Inference of Program Properties with Attribute Grammars, Revisited|
author=Middelkoop, A.|year=2012|url=http://igitur-archive.library.uu.nl/dissertations/2011-1223-200414/middelkoop.pdf}} ''In Coq, but also in other dependently typed languages such as Agda [Norell, 2009], Epigram [McBride, 2004], and IDRIS [Brady, 2011], properties of type system can be expressed as types of the inference algorithm.'' --[[User:Bejnar|Bejnar]] ([[User talk:Bejnar|talk]]) 22:56, 27 April 2013 (UTC)
:::You're kidding.  This is what you count as source that would contribute toward the ''significant coverage'' required to establish notability?  Here's the whole thing:  ''"In Coq, but also in other dependently typed languages such as Agda [Norell, 2009], Epigram [McBride, 2004], and IDRIS [Brady, 2011], properties of type system can be expressed as types of the inference algorithm."''  The bibliography gives the reference as a 9-page paper by the author of the language.  That's it.  This doesn't come close.  [[User:Msnicki|Msnicki]] ([[User talk:Msnicki|talk]]) 00:11, 28 April 2013 (UTC)
* '''Keep''' A Google search on "Idris programming language" hit 73,600 results (while 31,300 on "Agda programming language" and 39,500 on "Epigram programming language"). The notability of Idris in academia has become significant enough recently. --[[User:Soimort|soimort]] ([[User talk:Soimort|talk]]) 16:24, 28 April 2013 (UTC)

::[[WP:GOOGLEHITS]] is an [[WP:ATA|argument to avoid]].  But I concede that suitable sources establishing notability may appear ''soon.''  I just don't think they exist ''now''.  [[User:Msnicki|Msnicki]] ([[User talk:Msnicki|talk]]) 16:35, 28 April 2013 (UTC)

* '''Keep''' There's an article in the Pragmatic Programmers online magazine {{Citation|title=Dependent Types: A New Paradigm?|author=Paul Callaghan|year=2013|url=http://pragprog.com/magazines/2013-04/dependent-types}} [[Special:Contributions/130.226.133.44|130.226.133.44]] ([[User talk:130.226.133.44|talk]]) 10:49, 29 April 2013 (UTC)
::Thank you.  I needed a little time to review it first, but this appears to be a good independent source.  I am withdrawing my nomination.  Again, thank you.  [[User:Msnicki|Msnicki]] ([[User talk:Msnicki|talk]]) 16:49, 29 April 2013 (UTC)

:<small class="delsort-notice">Note:  This debate has been included in the [[Wikipedia:WikiProject Deletion sorting/Computing|list of Computing-related deletion discussions]]. <span style='font:1em"Avenir";background:#CCF;padding:2px 4px'>[[User:Czar|<span style="color:#B048B5;">''czar''</span>]]&nbsp;[[User_talk:Czar|<span style="color:#888;">&middot;</span>]]&nbsp;[[Special:Contribs/Czar|<span style="color:#888;">&middot;</span>]]</span> 00:03, 28 April 2013 (UTC)</small>

* '''Keep''' Notable. Frequently mentioned in the proceedings of ICFP and POPL and the JPF. —''[[User:Ruud Koot|Ruud]]'' 14:38, 29 April 2013 (UTC)
::[[WP:GNG]] asks the the subject should have received significant coverage, described as, ''""Significant coverage" means that sources address the subject directly in detail, so no original research is needed to extract the content. Significant coverage is more than a trivial mention ..."''  Can you cite one or two examples out of the mentions you found which you feel satisfy this condition?  It's possible I missed a good source, in which case I'm happy to withdraw my nomination.  But I kind of need to see it, first, because I couldn't find it.  [[User:Msnicki|Msnicki]] ([[User talk:Msnicki|talk]]) 15:40, 29 April 2013 (UTC)
:''The above discussion is preserved as an archive of the debate.  <span style="color:red">'''Please do not modify it.'''</span> Subsequent comments should be made on the appropriate discussion page (such as the article's [[Help:Using talk pages|talk page]] or in a [[Wikipedia:Deletion review|deletion review]]). No further edits should be made to this page.'' <!--Template:Afd bottom--></div>