Talk:Proof: Difference between revisions
→J version
m (→Haskell: run -> compile) |
|||
Line 125:
3. (backup plan) Dare any disagreeing reader to find a counter example;
::: It's easy to show that my approach here does not handle the Collatz conjecture. Consider the values 1 and 3. Their Collatz sequences have different lengths. Nothing in my approach deals with these sequence lengths.
::: It's also easy to show that my approach here does not handle the Goldbach conjecture: Nothing in my approach deals with primes.
::: --~~~~
4. Profit! I mean, proof!</lang>
Line 133 ⟶ 139:
:::::::::::::::: 4. "Rosettacode tasks should allow every language to participate": I don't believe so. It's good to have a task that's applicable to most languages, but tasks tailored towards a handful specific languages are worthwhile, too. Case in point: it's good to show readers how a proof assistant works; barging in with something completely irrelevant like the J example is very unhelpful.
:::::::::::::::: All in all, it's pretty clear what the task wanted, and that the J example didn't deliver. When a task is asking for something your language is not designed for or is incapable of doing, the decent thing to do is: nothing. Just omit the task. --[[User:Ledrug|Ledrug]] 22:07, 11 May 2012 (UTC)
::: This is not a language issue, unless you consider J to be C (because, after all, J is implemented in C). This is a task specification issue. --[[User:Rdm|Rdm]] 19:24, 13 May 2012 (UTC)
== Draft status ==
|