View source for Wikipedia:Miscellany for deletion/Portal:Haskell (programming language)


{{#ifeq:{{FULLPAGENAME}}|Wikipedia:Miscellany for deletion|{{mfd top collapse|1='''[[Wikipedia:Miscellany for deletion/Portal:Haskell (programming language)]]'''}}|}}<div class="boilerplate mfd vfd xfd-closed" style="background-color: #E3D2FB; margin: 2em 0 0 0; padding: 0 10px 0 10px; border: 1px solid #AAAAAA;">
__NOINDEX__
:''The following discussion is an archived debate of the proposed deletion of the miscellaneous page below. <span style="color:red">'''Please do not modify it.'''</span>  Subsequent comments should be made on the appropriate discussion page (such as the page's [[Help:Using talk pages|talk page]] or in a [[Wikipedia:Deletion review|deletion review]]).  No further edits should be made to this page.''
<!--
Note:  If you are seeing this page as a result of an attempt to nominate a miscellany page for deletion, you must manually edit the MfD nomination links to create a new discussion page using the name format of [[Wikipedia:Miscellany for deletion/NAMESPACE:PAGENAME (2nd nomination)]].  When you create the new discussion page, please provide a link to this old discussion in your nomination. -->

The result of the discussion was: '''Keep (mostly procedural)''' . Closing this as a keep, although it's likely close to a no consensus if you wanna get technical.  The main opposition to deletion was on largely procedural and scope grounds, with many people thinking the combined nomination inappropriate.  Given the popularity of that view, it seems best to keep these.  No prejudice against individual renominations, but any such nominations should be cognizant of the legitimate keep !votes expressed here. ~  <span style="color:#DF00A0">Amory</span><small style="color:#555"> ''([[User:Amorymeltzer|u]] • [[User talk:Amorymeltzer|t]] • [[Special:Contributions/Amorymeltzer|c]])''</small> 18:05, 17 April 2019 (UTC)
====[[:Portal:Haskell (programming language)]]====
:{{pagelinks|Portal:Haskell (programming language)}}
:{{pagelinks|Portal:Java (programming language)}}
:{{pagelinks|Portal:Python (programming language)}}
::<small>{{grey|(Time stamp for bot to properly relist.)}} —[[User:pythoncoder|<span style="color:blue">python</span><span style="color:olive">coder</span>]]&nbsp;([[User talk:pythoncoder|talk]]&nbsp;&#124;&nbsp;[[Special:Contribs/pythoncoder|contribs]]) 23:53, 8 April 2019 (UTC)</small>
Narrow topic area: a particular programming language. The selected content is general mathematics and programming articles (like [[natural deduction]], [[partial function]], [[higher-order logic]]), which has nothing specifically to do with Haskell. [[User:Levivich|Leviv]]&thinsp;<span style="display:inline-block;transform:rotate(45deg);position:relative;bottom:-.57em;">[[User talk:Levivich|ich]]</span> 07:22, 24 March 2019 (UTC)
::Note: the Java and Python portals have been added to the original nomination per the question below. Please see my comment below. [[User:Levivich|Leviv]]&thinsp;<span style="display:inline-block;transform:rotate(45deg);position:relative;bottom:-.57em;">[[User talk:Levivich|ich]]</span> 17:20, 24 March 2019 (UTC)

'''Question''': There are other programming language portals: [[:Category:Computing portals]]. Are they endangered as well? --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 10:43, 24 March 2019 (UTC)
:Good point. I see Java and Python portals in the category and have added them here, with a note below. [[User:Levivich|Leviv]]&thinsp;<span style="display:inline-block;transform:rotate(45deg);position:relative;bottom:-.57em;">[[User talk:Levivich|ich]]</span> 17:20, 24 March 2019 (UTC)
'''Please Keep'''. --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 10:32, 24 March 2019 (UTC) : Haskell is a difficult language to learn in part because 
{{collapse top}}
# The skilled people who write about Haskell are generally researchers who embed their research-level knowledge in their documentation about Haskell, so that the portal has to cover the significance of those topics as well. Note that a real language such as Haskell enlivens the research-level, advanced, general statements; they aren't just theoretical; they highlight what is easy and what is hard. 
# The less-skilled write about even ''narrower'' knowledge which is [[partial function|partial]] in nature, making their documentation even less useful than the research-level knowledge. The selected articles allow us to embed what we learn about Haskell into the general knowledge which we gain when learning this specific language.
# The concise nature of the Haskell language, together with the precision of the error messages from GHC, make learning the language difficult for people who are inexperienced in functional programming. Thus the topics selected are necessary background.
#*For example, I had to add in material about the [[Girard-Reynolds isomorphism]] to make the Haskell Core understandable;<ref name = core6,10 >[https://downloads.haskell.org/~ghc/7.0.1/docs/core.pdf Andrew Tolmach, Tim Chevalier ({apt,tjc}@cs.pdx.edu) and The GHC Team  (November 12, 2010) An External Representation for the GHC Core Language (For GHC 6.10)]</ref> Core is really the implementation of Girard-Reynolds, but the existing articles do not yet state this because of factors 1 and 2 above.
#**[[Natural deduction]] is part and parcel of [[sequent calculus]], again a necessary part for proving that one's Haskell will run. Proof becomes as much a part of the problem-solving as code. Proof provides the confidence that the mathematics behind an algorithm, using a notation that is mathematical, aligns the computing domain with the coding domain and gives the  coder confidence that the code will run correctly once it has compiled. This allowed Girard-Reynolds to be applied directly; for example allowing a function Type to be distinguished by its arguments alone, without having to assign an identifying name to the Type. This allows the code to be very concise.
#**[[Higher-order logic]] is part and parcel of [[Higher order abstract syntax]] which is very easy to express in Haskell, making Haskell an ideal language for implementing embedded [[Domain-specific language]]s, because they are  [[partial function|partial]] in nature. But Haskell is concise, so that the achievement of creating an eDSL, while actually significant, may look small to to a non-participant, as might Haskell itself.
#***Some features of Haskell might not seem useful, since   there is seeming redundancy in the use of <code>::</code> (meaning ''has type'') and the fact that ''[[type inference]]'' is automatable in the Hindley-Milner version of the Haskell type system; but when the Girard-Reynolds version of the Haskell type system was introduced, then <code>::</code> became 'necessary', in order to disambiguate some types which were otherwise [[Undecidable problem|undecidable]]. --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 10:41, 26 March 2019 (UTC)
#The topics I selected were useful not because they appear general, but because they are [[application]]s of the topics needed to better learn Haskell. Thus that which appears ''narrow'' (for example Haskell itself) expands in significance. Note that a topic which appears small to us in this era, such as [[long division]], a topic which was master's - degree level in the Middle ages, was once a research topic:
#:''... the design of computing systems can only properly succeed if it is well grounded in theory, and that the important concepts in a theory can only emerge through protracted exposure to application.''—''[[Robin Milner]]'' --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 14:48, 25 March 2019 (UTC)
#*[[Constructivism (philosophy of mathematics)]] was chosen because it is the philosophy-put-into-practice of a software developer, as is [[Intuitionistic type theory]] and [[Intuitionistic logic]]. They are quite practical, and more than theoretical, in other words.
#*[[Alpha equivalence]], [[Beta reduction]], and [[Eta conversion]] are basic for Haskell; you can't proceed without them, as Chris Allen has shown.
#*[[Anonymous function]]s, or better, ''lambdas''  are part of Haskell.
#*[[Continuation-passing style]] is a part of Haskell which means that [[functional reactive programming]] can be implemented in Haskell.
#*[[Curry-Howard isomorphism]] and the [[Girard-Reynolds isomorphism]] are fundamental to Haskell
#*[[Currying]] is a part of Haskell.
#*[[Declarative programming]] and [[Denotational semantics]] are only  part of what is needed to code in Haskell
#*Domain-specific language -- covered above
#*[[Effect system]]s can be coded in Haskell. See Oleg Kiselyov's work, coded in Haskell, on extensible effects
#*The [[Exponential object]] is a notation to express higher level type application to other types, which is allowed in Girard-Reynolds (the Haskell core)<ref name = core6,10 />
#*[[Expression (computer science)]] and [[Expression (mathematics)]] are integrated into one concept in this language, which points to the implementation of Girard-Reynolds (the Haskell core).<ref name = core6,10 /> <code>Expr</code> is about seven lines of Haskell code (a sum type) in Haskell Core.<ref name = core6,10 />
#*[[Function type]]s are [[First-class citizen]]s  in Haskell
#*[[Hash consing]]
#*Higher-order abstract syntax -- covered above, but [[Higher-order function]]s and [[Higher-order logic]] are part and parcel of any Haskell implementation of some [[Domain-specific language]] (some specific situation -- you can think of this as a Business Case)
#*The [[Hindley–Milner type system]] is decidable, and has been part of [[Miranda (programming language)|Miranda]] and Haskell since their early days. This is the reason that Haskell can automate [[type inference]].
#*Intuitionistic type theory -- covered above
#*Intuitionistic logic -- covered above
#*[[Kan extension]]s allow us to carry along the data so that we can [[call by need]], a practical part of both effectful programming (i.e. monads) and lazy evaluation.
#*[[Lambda calculus definition]], [[Lambda calculus]],  and [[Lambda lifting]] allow us to exploit [[Lazy evaluation]] when we need it along some axis of the [[Lambda cube]]. Note that the specialization to some [[Topos]] allows us to skip past the infinities that some other languages would force us to step into, but which lazy evaluation allows us to skip.
#*[[Linear logic]] is Girard's resource-oriented logic, which is a basis for [[Effect system]]s
#*[[Monad (functional programming)]]  was first implemented in Haskell
#*Natural deduction -- covered above. Note that it is groundwork for the normal forms which get produced by alpha, beta, and eta transformations covered above.
#*[[Normal form (abstract rewriting)]] is a fundamental part of a Haskell [[thunk]], but [[weak head normal form]] doesn't even have an article yet
#*[[Partial application]], and [[Partial function]] are discussed above. They are built-in to the Haskell language with a consistent grammar which doesn't even need to identify them as special cases, they are [[first-class citizen]]s of the language. Now compare to other functional languages which have to create special machinery. 16:44, 24 March 2019 (UTC) 
#*[[Partially ordered set]]s are fundamental to any Haskell type. They need to be derived via natural deduction, bottom-up for each topos.
#*[[Pointfree programming]] is either very high-level (via Higher-order type classes) or very low-level (via natural deduction). As an example, the point-free implementation of [[Map-reduce]] (call it mr) of Google fame is one line in Haskell: <code>mr = (. map).(.).foldr</code> --credit: Udo Stenzel's derivation. ghci consumes this without complaint. Other languages implement it with thousandfold (or more) increases in lines of code. --16:44, 24 March 2019 (UTC)
#*[[Polymorphism (computer science)]] can be implemented by the [[Girard-Reynolds isomorphism]], implemented largely in Haskell Core,<ref name = core6,10 /> which is typed (colloquially termed Big Lambda) in less than 20 lines of Haskell. --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 16:44, 24 March 2019 (UTC)
#*[[Purely functional data structures]], and [[Purely functional programming]] can exploit [[lazy evaluation]] while using some interpreter such as [[ghci]] to prove that the Haskell code is correct for the denoted cases (which could be infinite in number).
#*[[Rewriting]] -- the transformations from one form to another (e.g., the alpha, beta, eta discussed above) while remaining assured of correctness. This in particular is a difficult concept to grok because the different forms can morph from one to the other, and the skilled practioners seem to have this ability of fluent translation, while remaining mathematically correct, to the despair of anyone trying to follow their code.  --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 16:44, 24 March 2019 (UTC)
#*[[Scott continuity]] describes a mapping between [[poset]]s, which are the elements of the [[type system]] being implemented in the Haskell code. For example, "two particularly notable examples of Scott-continuous functions are curry and apply." Their [[cartesian closed category]] cannot be a foreign concept to a Haskeller. --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 13:53, 24 March 2019 (UTC)
#*[[Sequent]] -- discussed above
#*[[Sequent calculus]] -- discussed above, as the framework for expressions which surround a [[Turnstile (symbol) |Turnstile]]  --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 16:44, 24 March 2019 (UTC)
#*[[SECD machine]] (an [[abstract machine]]) for implementing [[Lambda calculus]]
#*[[Side effect (computer science)]] -- not a part of Haskell, unless you seek one
#*[[Strictness analysis]] -- there is an operator which tells the compiler to reduce the expression right away, absolving the coder of the responsibility of carrying along its weak head normal form (the lazy instance). --16:44, 24 March 2019 (UTC)
#*[[Subobject classifier]] -- a necessary part of a topos. A classifier might be reducible to a Boolean function, but the Subobject classifier is allowed to be even more general (ala higher order type theory (HoTT).<ref name=hott >[https://www.cs.cmu.edu/~rwh/talks/Leeds16.pdf  (HoTT)]</ref>). This kind of classifier is a predicate in    Gottlob Frege's [[ Predicate_(grammar)#In_modern_theories_of_syntax_and_grammar|sense]] as it includes semantic meaning. --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 13:44, 25 March 2019 (UTC)
#*[[Supercombinator]]
#*[[Syntactic closure]]
#*[[System F]] -- see Girard-Reynolds
#*[[Tail call]] -- one strategy for handling thunks
#*[[Thunk]] -- a fundamental part of Haskell, discussed above
#*[[Turnstile (symbol)]] used in [[sequent]]s above 
#*[[Type class]]es were first used  in Haskell
#*[[Type constructor]]s reside on the left hand side of a [[Declarative programming|declaration]], while [[data constructor]]s reside on the right hand side of a declaration, and can be sum types or product types.  --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 16:44, 24 March 2019 (UTC)
#*The kind of [[Type inference]] which Haskell offers depends on the [[Type system]] it implements; Haskell at one time supported only Hindley-Milner, but now offers a version of [[System F]]  --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 16:44, 24 March 2019 (UTC)
#*Intuitionistic [[Type theory]] is a basis for Haskell
#*[[Unified Modeling Language]] can depict Haskell code, because it has arrows. This defines graphs and allows [[Graph rewriting]]. --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 16:44, 24 March 2019 (UTC)
#I am constructing my reply, but I figured I had better post what I have typed to better withstand the onslaught. I would appreciate it if other editors were not to jump into the middle of my markup, but please post below this instead. --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]]  10:32, 24 March 2019 (UTC)
#I find it illuminating that it seems necessary to justify what might seem obvious to some, namely the application of general concepts to a specific detail of Haskell; either the implementation from a general statement to the details in some Haskell code are not obvious enough, for the reader of the Haskell code, or the Haskell coder has not explained the code well. Unfortunately, the types might be situation-dependent: a [[type error]] in the Topos. For example we have a situation where the readers are encountering  a situation which is not meeting a reader's expectations. This does not invalidate the Portal: One fundamental is that Portals are doorways to realms. What one person sees is not necessarily what another sees. One's belief system can color what one sees. That makes a portal a tool for the reader. But if our only mental tool is a hammer, we need not search for nails to pound down; maybe we can wait for a proper reframing for the Portal.  --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 12:28, 24 March 2019 (UTC) I hesitate to lay this problem solely at the feet of the ghci [[REPL]]. The tools we seek remain to be found. Perhaps a reader of this Portal can be helped by its existence. 
#Note that deletion of other portals was predicated on an inverse reason. If this portal cannot survive on account of its breadth then this is a [[Catch-22]]. --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 13:09, 24 March 2019 (UTC)
{{reflist talk}}
*'''Delete''' this portal doesn't have a clearly defined scope, as most of the content relates to general topics in computer science or functional programming in general, rather than to Haskell in particular. As a result it would be better placed at another portal such as [[Portal:Functional programming]]. Portals aren't intended as aids to help people learn programming languages, if that is the intention then I'd suggest contributing to [[Wikibooks]] who have that sort of thing in scope. '''''[[User:Hut 8.5|<span style="color:#FF0000;">Hut 8.5</span>]]''''' 11:34, 24 March 2019 (UTC)
:::Please note that its scope is Haskell. I am trying to give the significance of the selected articles to Haskell, which is still in process. That ought to show its scope is quite broad. --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 11:58, 24 March 2019 (UTC)
:::In fact the Haskell Wikibook has a nice discussion of [[weak head normal form]] which if it were in the article (not to mention portal), would be deleted for lack of Reliable Sources. --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 12:02, 24 March 2019 (UTC)
:::One problem with a Functional programming portal is that it would be so general (by for example avoiding Haskell syntax) that its points would be vague. But for a specific language, such as Haskell, the expressions would speak for themselves, so to speak. 
::::But ''... the design of computing systems can only properly succeed if it is well grounded in theory, and that the important concepts in a theory can only emerge through protracted exposure to application.''—[[Robin Milner]] --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 15:08, 25 March 2019 (UTC)
:::It is a [[type error]] to consider a Portal as an article; they do not share [[namespace]]s; the criteria for Portals, such as the Main page, the Help portal are different from articles. And yet we see the same mental habits carry across the namespaces. Please consider that other possibilities exist for the encyclopedia.
{{collapse bottom}}
:::--[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 17:06, 24 March 2019 (UTC)

*'''Nom's update''': Per the question above, I added the Java and Python portals to this nomination. Any comments above are before the bundling. The arguments are common to all programming language portals: they are not broad enough to justify a portal under POG. For example, Python has only one picture (of the creator), and the Java portal similarly doesn't have useful pictures, except for the one mandlebrot sequence animation, there just aren't useful java pictures. (One picture is of Java's mascot, kind of PROMO.) Also, these portals should not be used to create a reference guide or a tutorial because [[WP:NOTHOWTO]]. I do appreciate the work that went into gathering the links relevant to Haskell but those belong in the article. A portal on Haskell (or any programming language) is not justified. Note we already have [[Portal:Software]] and [[Portal:Computer science]] (and maybe the former should be merged with the latter). [[User:Levivich|Leviv]]&thinsp;<span style="display:inline-block;transform:rotate(45deg);position:relative;bottom:-.57em;">[[User talk:Levivich|ich]]</span> 17:20, 24 March 2019 (UTC)
*'''Delete all''' the extensive keep argument makes a great case why the article needs work, not the portal. Portals are generally short overviews amd these topics are evidently not well suited to the portal approch when the keep argument is as long as the portal. [[User:Legacypac|Legacypac]] ([[User talk:Legacypac|talk]]) 17:59, 25 March 2019 (UTC)
*:This argument is a [[catch-22]]; it is inconsistent to criticize the many portals which are up for deletion on account of reason ''A'', and yet argue for the  deletion of yet other portals on account of '''not''' reason ''A''.  --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 10:41, 26 March 2019 (UTC) 
*'''Merge all''' to [[Portal:Programming languages]] which is an appropriate scope for a portal and would allow the retention the scope of the concepts, etc. The individual content would not be vague, there would just be articles, etc. at the current depth selected from a wider pool. [[User:Thryduulf|Thryduulf]] ([[User talk:Thryduulf|talk]]) 20:14, 25 March 2019 (UTC)
*'''Delete all''' These pages have no content. Energy should be spent on improving the articles, not finding a way to extract pieces from elsewhere into a fan page. Naturally someone might like to add suitable links to [[Portal:Programming languages]] but there is no content worth merging. [[User:Johnuniq|Johnuniq]] ([[User talk:Johnuniq|talk]]) 01:18, 26 March 2019 (UTC)
*: It is a [[type error]] to consider a Portal as an article; they do not share [[namespace]]s; if we were to consider portals as doorways to other types then a portal's brevity (as links) allows us to compress its message length, in order to express some 'higher content' for us. So the 'selected articles' need only be details which might serve the reader in their search for what matters to them alone. --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 11:00, 26 March 2019 (UTC)
*'''Keep''': Haskell, Java and Python are widely different ecosystems, each with their own specificity. These should not be treated as fanpages. I think it's worth it to have places to collect a curated list of topics about each of those ecosystems. Merging them all under a general "Programming Languages" portal wouldn't cut it, IMHO. [[User:Klez|klɛz]] ([[User talk:Klez|talk]]) 08:34, 26 March 2019 (UTC)
::Each of these topics would be a good featured topic within [[Portal:Programming languages]] [[User:Legacypac|Legacypac]] ([[User talk:Legacypac|talk]]) 08:45, 26 March 2019 (UTC)
:::If that's the case, should [[Portal:Programming languages]] be organized into subsection that cover stuff specific to particular programming languages? Subpages? I'm still new here, I'm not sure how this would work. In other words: is there a way we can organize the main programmin languages portal to still be a useful place for a curated list of articles regarding a particular ecosystem? People looking for information about Java-related topics may not care about thunks, as much as Haskell programmer won't probably care about the JVM. [[User:Klez|klɛz]] ([[User talk:Klez|talk]]) 10:24, 26 March 2019 (UTC)
*'''Keep''' I fail to see the point of having a single huge generic portal, which is itself brand new, and we are already discussing cramming everything into it. These languages are large topics and have large software ecosystems attached to them, that are entirely different from each other and have a single focus. The logical action would be to keep these portals, have more of them and link them to [[Portal:Programming languages]] in a hierarchy and expand on them. As regards their content, they may be new but over time they will be populated correctly. It is a real shame that portal's were not really pushed, as far as a know, if that is correct? They seem to provide a lower level of abstraction than articles and hence should be easier to find by the reader and navigate to an appropriate article that is within that subject. Reading the spec at [[WP:PORTAL]], they are "Main Pages" for specific topics or areas. Taking the topic path, they are absolutely ideal for these three languages. Lets have more for C/C++ and C#. '''<span style="text-shadow:7px 7px 8px black;">[[User:scope_creep|<span style="color:#3399ff;font-family:Papyrus;">scope_creep</span>]]<sup>[[User talk:scope_creep#top|<span style="font-family:Papyrus;">Talk</span>]]</sup></span>''' 12:05, 26 March 2019 (UTC)

*'''Keep All''' of these programming language portals, per the detailed and thorough view of {{u|Scope creep}} above. Makes perfect sense. Also not particularly convinced by some of the generalized [[WP:IDLI|"I don't like it"]] notions for deletion herein in this discussion. I am also impressed with the rationales of {{u|Ancheta Wis}} in this discussion. <span class="smallcaps" style="font-variant:small-caps;">[[User:Northamerica1000|North America]]<sup>[[User talk:Northamerica1000|<span style="font-size: x-small;">1000</span>]]</sup></span> 16:43, 26 March 2019 (UTC)

*'''Keep All''' largely per the comment made by {{u|Scope creep}} above. Further, given the ''portals'' section of [[Portal:Contents/Technology_and_applied_sciences|this page]], there exist portals for additional languages than those mentioned here, like [[Portal:C_(programming_language)|C]] and [[Portal:.NET_Framework|.NET]] (which both contain notably more content than the Haskell, Java, and Python portals in their current state). These portals should be expanded, not all deleted. --<span style="font-size:95%;">[[User:Hunterm267|<span style="color:FireBrick">'''HunterM267'''</span>]]&nbsp;<sup>[[User talk:Hunterm267|talk]]</sup></span> 21:13, 26 March 2019 (UTC)
*'''Delete''' the Haskell portal that was originally nominated.  The fact that such a long justification is made for keeping the portal is evidence that the topic is too complex, too detailed, too specific to be appropriate for a portal.  We are not arguing about deleting the article, only about the portal.  The other programming languages should not have been added to this nomination, because they will complicate the close.  I may express a view on them within the next four days.  [[User:Robert McClenon|Robert McClenon]] ([[User talk:Robert McClenon|talk]]) 03:54, 27 March 2019 (UTC)
*:The selected articles show the breadth of the topic, as intended, as shown in the portal on the topic. The nominator's justification that the portal be deleted as having "having nothing to do with the selected articles", by your reasoning, should therefore be withdrawn. My reply above, lists topics such as Girard-Reynolds (which allows Haskell's code to be concise, and to lift directly into higher domains), which are part of the selected articles for this portal. --[[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 10:47, 28 March 2019 (UTC) 
*'''Comment''' - in relation to {{u|Robert McClenon}}'s response above, I would support separating the deletion discussions for the Haskell portal and the Java / Python portal. My "Keep All" vote above stands, however, I would be ''slightly'' more inclined to argue that Java and/or Python are more deserving of a portal than Haskell. --<span style="font-size:95%;">[[User:Hunterm267|<span style="color:FireBrick">'''HunterM267'''</span>]]&nbsp;<sup>[[User talk:Hunterm267|talk]]</sup></span> 04:33, 27 March 2019 (UTC)
:*'''Comment''' – Regarding, {{tq|"The other programming languages should not have been added to this nomination, because they will complicate the close"}} above, yes, bundled nominations can obfuscate matters, sometimes leading to a [[WP:TRAINWRECK]] situation. It also opens doors to potential ambiguity and misinterpretation by closers, who could potentially incorrectly assume that an !vote for a single page (as per the above) applies to all pages. Bundling makes it very convenient for users to declare "delete all", but makes the separate analysis of each page more complicated to then denote and discuss in discussions. It's better to nominate separately, because it halts these types of problems from occurring. <span class="smallcaps" style="font-variant:small-caps;">[[User:Northamerica1000|North America]]<sup>[[User talk:Northamerica1000|<span style="font-size: x-small;">1000</span>]]</sup></span> 04:39, 27 March 2019 (UTC)
:::I originally just nominated the Haskell portal, and I may have misinterpreted the first "question" post above, but I thought that was a hint that I was supposed to have bundled the other portals in the same category, so then I went and did so. For my part, I'm happy to unbundle it, but I don't want to cause more of a trainwreck. My initial intent was just to nominate the Haskell portal. Apologies for the confusion. <span style="display:inline-block;position:relative;white-space:nowrap;">[[User:Levivich|Leviv]]&thinsp;<span style="transform:rotate(45deg);bottom:-.57em;">[[User Talk:Levivich|ich]]</span></span> 04:55, 27 March 2019 (UTC)
::::At this point, I wouldn't unbundle this discussion; it would just cause confusion. <span class="smallcaps" style="font-variant:small-caps;">[[User:Northamerica1000|North America]]<sup>[[User talk:Northamerica1000|<span style="font-size: x-small;">1000</span>]]</sup></span> 06:13, 27 March 2019 (UTC)
::::: I wouldn't unbundle any of them either. A bit late in the discussion. If there were separate discussions at the beginning, I would still vote to keep for all of them. Haskell is an important functional language. It may be at No. 43 on the Tiobe index, and ultimately not as important to the industry as Java or C# or even Go, but in the end, we are here to inform and delight the reader and must include everything that is encyclopaedic and considered important and notable.  You may think it is too much, but even the smallest languages, something like Erlang that is used heavily by the telecommunications industry needs a portal. It may not have sufficient content to drive the portal, but that is something to be looked at later. '''<span style="text-shadow:7px 7px 8px black;">[[User:scope_creep|<span style="color:#3399ff;font-family:Papyrus;">scope_creep</span>]]<sup>[[User talk:scope_creep#top|<span style="font-family:Papyrus;">Talk</span>]]</sup></span>''' 10:42, 27 March 2019 (UTC)
::::::OK thanks guys, I won't unbundle. Not for nothing but "needs a portal...may not have sufficient content to drive the portal" sounds like an oxymoron to me. <span style="white-space:nowrap;">[[User:Levivich|Leviv]]&thinsp;<span style="display:inline-block;position:relative;transform:rotate(45deg);bottom:-.57em;">[[User Talk:Levivich|ich]]</span></span> 14:18, 27 March 2019 (UTC)
*'''Keep''' for [[:Portal:Python (programming language)]] and for [[:Portal:Java (programming language)]]. These portals appear to be well-constructed and doing what they're supposed to do, organizing topics related to those two programming languages. I don't express an Keep/Delete opinion on the Haskell portal, but I will note that the critique on the nom seems to be the content on the Haskell portal is inappropriate for a portal on the computer language; as distinguished from whether the portal itself ought to be there. I don't know enough about Haskell to comment on the relatedness of that content to the language, but it sounds to me that this is more a matter for cleanup than for deletion, although I could imagine that if a substantial amount of material is removed in cleanup, there might not be enough left for a usable portal. But again, I express no keep/delete position on the Haskell portal. [[User:TJRC|TJRC]] ([[User talk:TJRC|talk]]) 22:15, 27 March 2019 (UTC)
<div class="xfd_relist" style="border-top: 1px solid #AAA; border-bottom: 1px solid #AAA; padding: 0px 25px;"><span style="color: #FF6600;">'''{{resize|91%|[[Wikipedia:Deletion process#Relisting discussions|Relisted]] to generate a more thorough discussion and clearer consensus.}}'''</span><br />
<small>Please add new comments below this notice. Thanks, —[[User:pythoncoder|<span style="color:blue">python</span><span style="color:olive">coder</span>]]&nbsp;([[User talk:pythoncoder|talk]]&nbsp;&#124;&nbsp;[[Special:Contribs/pythoncoder|contribs]]) 23:53, 8 April 2019 (UTC)</small><!-- from Template:Relist --></div><!-- Please add new comments below this line -->
*'''Delete''' - I see lots of discussion about the scope of these topics but I think we also need to consider the portals themselves as an entity up for deletion. What do we have here in terms of a portal and useful resource? These portals are basically severly shortened version of the main article. Its basically a bit of content from the main lead, and the topics navbox, and maybe a few pictures. The main article itself currently does all this. What are we actually saving from deletion here? If these topics have a broad enough scope to require a portal to navigate all the information in a more effective manner, how come they seem to be just fancier navboxes? The idea behind a portal is that when we have a broad enough topic that it gets hard to navigate articles effectivly, we create a portal to organize it better as a useful tool. These portals don't seem to provide any extra use beyond the main article. [[User:Meszzy2|<span style="color: darkgreen">'''Meszzy<sup>2</sup>'''</span>]] ([[User talk:Meszzy2|'''talk''']]) 08:22, 9 April 2019 (UTC)

*'''Keep''' - It was totally absurd to use Portal:Haskell (programming language) as a flag ship for Portal:Java (programming language) and Portal:Python (programming language).  The first one, as a portal, was only another TTH-garbage, while the other two are long standing ones. The only thing to do now is: keep them all and wait until the TTH-garbage cleaning period is over. [[User:Pldx1|Pldx1]] ([[User talk:Pldx1|talk]]) 13:52, 9 April 2019 (UTC)
*'''Keep for now'''. I would support deleting Haskell (too rarified and narrow a topic area), but I'm not sure about the others.  The ill-considered bundling has led to a confused discussion which is best just closed. --[[User:BrownHairedGirl|<span style="color:#663200;">Brown</span>HairedGirl]] <small>[[User talk:BrownHairedGirl|(talk)]] • ([[Special:Contributions/BrownHairedGirl|contribs]])</small> 01:45, 15 April 2019 (UTC)
:''The above discussion is preserved as an archive of the debate. <b style="color:red">Please do not modify it.</b> Subsequent comments should be made on the appropriate discussion page (such as the page'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:Mfd bottom--></div>

{{#ifeq:{{FULLPAGENAME}}|Wikipedia:Miscellany for deletion|{{collapse bottom}}|}}