Talk:Supercombinator

This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy

Stub

This article has been rated as Stub-class on Wikipedia's content assessment scale.

???

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

Associated task forces:
/
	Logic

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]