Розширення:Вікілямбда/Затвердження Реалізацій та Тестерів

From mediawiki.org
This page is a translated version of the page Extension:WikiLambda/Approving Implementations and Testers and the translation is 50% complete.
Сторінки Функцій містять посилання на цю сторінку

Кожен учасник встановлення WikiLambda, наприклад Вікіфункцій, може створити нову Реалізацію або новий Тестувальник для Функції. Реалізації та Тестувальники знаходяться на власних вікі-сторінках. Однак обидва типи мають бути схвалені кимось із відповідними правами користувача перед тим, як їх використовуватимуть Об’єкти, до яких вони підключені, щоб ускладнити атаки вандалізму.

Тестувальники і Реалізації повинні бути затверджені лише в тому разі, якщо вони відповідають семантиці Функції, яку вони перевіряють або реалізують. Це форма перевірки коду.

Testers and Implementations can be deactivated again by users that have the same rights, in case it turns out they were wrong. This should be the only reason to deactivate them. Any other reasons, Wikifunctions should deal with robustly.

(However, early in the project, there might be cases where this is not true. These should be filed as bugs, and handled manually until they are resolved.)

Часті запитання

Які наслідки схвалення Реалізації, якщо вона є неправильною?
Function calls to that Function may return incorrect results. Also, the different Implementations of a Function should all agree with each other. An Implementation that does not can lead to confusion. If two different Implementations of the same Function have different results, this is in fact an indication that one or the other is wrong. Eventually, the system might downgrade Implementations that disagree with other Implementations. That is not implemented yet.
Які наслідки схвалення Tестера, якщо він є неправильним?
Implementations that do not pass the given Testers are downgraded and are less likely to be called. This might remove a perfectly correct Implementations from running, which might reduce the performance of the system, or lead to wrong results. That is not implemented yet.