Talk:Supercombinator

This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.Computer scienceWikipedia:WikiProject Computer scienceTemplate:WikiProject Computer scienceComputer science articles

???

This article has not yet received a rating on the project's importance scale.

Things you can help WikiProject Computer science with:

Here are some tasks awaiting attention:

Article requests :
- Requested articles/Applied arts and sciences/Computer science, computing, and Internet
Cleanup :
- Computer science articles needing attention
- Computer science articles needing expert attention
Copyedit :
- Computing
Expand :
- Computer science
Infobox :
- Computer science articles without infoboxes
Maintain :
- Timeline of computing 2020–present
Photo :
- Find pictures for the biographies of computer scientists (see List of computer scientists)
- Computing articles needing images
Stubs :
- Computer science stubs
Unreferenced :
- WikiProject Computer science/Unreferenced BLPs
Project-related :
- Tag all relevant articles in Category:Computer science and sub-categories with {{WikiProject Computer science}}

This Page Is Wrong

The definition of supercombinator is totally wrong!!!!!!! What is very informally defined in the article refers to a combinator, without the super! The super- prefix in computer science in things like this subject, refers to actually inexistent languages, or computation systems. You may talk about Super-Turing machines, which refers to a machine capable to perform computations that Turnig machines can not perform, i.e. a super set of what a Turing machine can compute. Combinatory logic is equally powerfull than Turing machines (and Lambda calculus, recursive functions, etc.), a super combinator refers to something like a super-Turing machine.

The confusion of the use of super-combinator in this article, comes from the use that Simon Peyton Jones, (a definite expert in this subject!!!) gives to a combinator basis in the context of functional programming languages compilation, the book cited in this article.

Bringing that term out of context may confuse with what I told above which is what a philosopher of computation may think about in first instance. This article is tagged in the subject of philosophy. The use that the well known great computer scientist Simon Peyton Jones gives to this term should be included in an article about functional programming languages compilation.

I am not going to fix this article, because I had a very bad experience with OTHER pages, monopolized by ignorants which react to corrections thinking they know everything because it is in their high school notes. I do not have time to earn privileges to monopolize wikipedia and active alarms to be aware of every change, having no other thing to do than revert every change. Let me emphasize that this had happen to me in OTHER pages, but seems an extended practice that should stop!

I do not know if this could be the case, but in my previous experience, suppose that I fix this article, I donate my time to write something better and well documented. After that, the change is notified to the original writer and my changes are reverted, after all I am not the guy who wrote the book that was misinterpreted by the one who posted the article. I could insist, but I am blamed of vandalism. I DO NOT SAY THAT THIS HAPPENS IN THIS PAGE, but I had happen to me in similar cases, for minor changes. I say this here because I think that this should be stopped.

If someone wants to take the risk of fixing this page. It should contain a story of the intents to create super-combinators which is related to super-Turing machines super-recursion, etc. There are some intents published but all are wrong, got it? Good luck! — Preceding unsigned comment added by 189.178.40.254 (talk) 04:17, 20 November 2015‎

How does this match the definition at https://wiki.haskell.org/Super_combinator ? Are they also wrong to talk about supercombinators? — Carl (CBM · talk) 11:34, 20 November 2015 (UTC)[reply]

I can't find any reference to anyone using the term supercombinator in the sense described by the OP (i.e., to refer to a class of expressions that are "more powerful" than the class of combinators). I only find it used in the sense given by the referenced textbook by Jones (who attributes its original use to Hughes, 1984). However, I agree that the definition given in this wikipedia page isn't very good. The informal definition as "fully bound and self-contained" could easily be mistaken as the informal definition of a (non-super) "combinator". The definition given in "mathematical terms" is mostly okay, but why not excerpt the precise definition from the referenced text, instead of trying to paraphrase (resulting in the rather bizarre syntax "A lambda expression S is a ..." as used on this page making it look as if we're trying to define lambda expressions, instead of "A supercombinator is a lambda expression of form ..." as is standard for mathematical definitions and which is the phrasing given in the referenced textbook)? In fact, it appears that the much clearer textbook definition was in the original page and was included until it was (in my opinion badly) paraphrased in October 2007. — KABuhr (talk) 19:16, 3 May 2020 (UTC)[reply]