Wikipedia:Articles for deletion/Shen (programming language): Difference between revisions

Revision as of 16:20, 13 March 2015

Revision as of 16:21, 13 March 2015

Line 73:

"The common theme in the notability guidelines is that there must be verifiable, objective evidence that the subject has received significant attention from independent sources to support a claim of notability."

The only question remaining is whether the material in the entry is accurate and substantiated. If you think that is the case, then you need to withdraw your bid for deletion. If not, you need to indicate what parts of the entry are not substantiated and the Shen group will either withdraw them or find the necessary citations - Willi. <small><span class="autosigned">—&nbsp;Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:Williriha|Williriha]] ([[User talk:Williriha|talk]] • [[Special:Contributions/Williriha|contribs]]) 16:20, 13 March 2015 (UTC)</span></small><!-- Template:Unsigned --> <!--Autosigned by SineBot-->

* '''keep''' In the Lisp family of languages, Shen stands out in at least two respects: (1) Its type system, which is closer to a general theorem prover than to a traditional type system, and (2) its implementation by compilation to a minimalist subset of itself. Shen is actively developed, well documented in [http://www.shenlanguage.org/tbos.html The Book of Shen], and it has a small but active user base organized in a mailing list. Not being a Wikipedia expert, I cannot say if this suffices for notability, but as a Wikipedia user I would definitely expect Wikipedia to have an entry on Shen. <small>— [[User:82.66.102.10|82.66.102.10]] ([[User talk:82.66.102.10|talk]] • [[Special:Contributions/82.66.102.10|contribs]]) has made [[Wikipedia:Single-purpose account|few or no other edits]] outside this topic. </small> — <small>'''Note''': An editor has expressed a concern that [[User:82.66.102.10|82.66.102.10]] ([[User talk:82.66.102.10|talk]] • [[Special:Contributions/82.66.102.10|contribs]]) has been [[WP:CANVAS|canvassed]] to this discussion. {{#if:|([{{{2}}} diff])|}}</small> <small>The preceding [[Wikipedia:Signatures|unsigned]] comment was added at 08:43, 9 March 2015 (UTC)</small>