Talk:Proof: Difference between revisions
Content added Content deleted
(→J version: re) |
|||
| Line 87: | Line 87: | ||
::::# On the contrary, this task explicitly excludes the majority of languages. I don't see a problem with this at all. Because most languages are Turing-complete an algorithmic or computational task can be implemented in nearly any language. However there also exist tasks that concern the abstraction or other languages facilities which simply cannot be reasonably implemented in any language. E.g. one can imagine tasks that only make sense in either dynamically-typed or statically-typed languages, languages having a sufficiently expressive type system or supporting reflection. Adding "fake" solutions only distracts the reader from the thing the task is trying to demonstrate or compare. |
::::# On the contrary, this task explicitly excludes the majority of languages. I don't see a problem with this at all. Because most languages are Turing-complete an algorithmic or computational task can be implemented in nearly any language. However there also exist tasks that concern the abstraction or other languages facilities which simply cannot be reasonably implemented in any language. E.g. one can imagine tasks that only make sense in either dynamically-typed or statically-typed languages, languages having a sufficiently expressive type system or supporting reflection. Adding "fake" solutions only distracts the reader from the thing the task is trying to demonstrate or compare. |
||
:::: —''[[User:Ruud Koot|Ruud]]'' 14:48, 10 May 2012 (UTC) |
:::: —''[[User:Ruud Koot|Ruud]]'' 14:48, 10 May 2012 (UTC) |
||
::::: All programs are "proofs", in the sense of showing the existence of a mathematical construct. The issue is "what are they proving". (In many cases, what is being proven is not very interesting, in a general mathematical sense.) |
|||
::::: As for "explicitly excluding the majority of languages", please see http://rosettacode.org/wiki/Help:Adding_a_new_programming_task#Things_to_avoid |
|||
::::: --[[User:Rdm|Rdm]] 14:58, 10 May 2012 (UTC) |
|||