Информация об изменениях

Сообщение Нечаянные вычислители от 11.03.2017 21:45

Изменено 11.03.2017 21:50 kochetkov.vladimir

Нечаянные вычислители
Под "нечаянными вычислителями" я подразумеваю ситуации, когда разработчики языка хотели как лучше, а получилось нечто, с побочными эффектами в виде способности решать вычислительные задачи там, где этого изначально не предполагалось. Навскиду вспомнились:

Тьюринг-полнота:

систем типов Scala, Haskell, Rust;
ассемблерной инструкции mov;
дженериков Java;
C-препроцессора (с рядом оговорок).

Возможность решения NP-полной задачи 3-SAT с помощью механизма разрешения перегрузок в C#.

---

Накидайте pls ссылок на аналогичные вычислители в других языках или рантаймах. Есть пара тезисов о сложности языков и пределов разрешимости задачи анализа кода на них, примеры нужны для того, чтобы их проверить.
... << RSDN@Home 1.0.0 alpha 5 rev. 0>>
Нечаянные вычислители
Под "нечаянными вычислителями" я подразумеваю ситуации, когда разработчики языка или рантайма хотели как лучше, а получилось нечто, с побочными эффектами в виде способности решать вычислительные задачи там, где этого изначально не предполагалось. Навскиду вспомнились:

Тьюринг-полнота:

систем типов Scala, Haskell, Rust;
ассемблерной инструкции mov;
дженериков Java;
C-препроцессора (с рядом оговорок).

Возможность решения NP-полной задачи 3-SAT с помощью механизма разрешения перегрузок в C#.

---

Накидайте pls ссылок на аналогичные вычислители в других языках или рантаймах. Есть пара тезисов о сложности языков и пределов разрешимости задачи анализа кода на них, примеры нужны для того, чтобы их проверить.
... << RSDN@Home 1.0.0 alpha 5 rev. 0>>