История изменений
Исправление a--, (текущая версия) :
Если там монада (а похоже на то), и Just(x).bindᵃ(p).bindᵇ(s).bindᶜ(p).bindᵈ(s). ... просто дают сужение интервала (к примеру до интервала a < x < 1000-d — но, естественно, не совсем такого) — то легко. Естественно, не твой короткий пример, а че-то подлиннее, типа Just(x).bindᵃ(p).bindᵇ(s).bindᶜ(p).bindᵈ(s)
Мне прям захотелось полноценный код выкатить (включая проверку монадичности), допустим на сишарпе. Тут можно проверить ассоциативность для конечного числа комбинаций, и затем отсюда будет следовать ассоциативность вообще (т.к. там степени).
-----
Just(x).bindᵃ(p) = Just(x).bind(p).bind(p). ... .bind(p).bind(p), где повторение сделано a раз
Исправление a--, :
Если там монада (а похоже на то), и Just(x).bindᵃ(p).bindᵇ(s).bindᶜ(p).bindᵈ(s). ... просто дают сужение интервала (к примеру до интервала a < x < 1000-d — но, естественно, не совсем такого) — то легко. Естественно, не твой короткий пример, а че-то подлиннее, типа Just(x).bindᵃ(p).bindᵇ(s).bindᶜ(p).bindᵈ(s)
Мне прям захотелось полноценный код выкатить (включая проверку монадичности), допустим на сишарпе. Тут можно проверить ассоциативность для конечного числа комбинаций, и затем отсюда будет следовать ассоциативность вообще (т.к. там степени).
Исправление a--, :
Если там монада (а похоже на то), и Just(x).bindᵃ(p).bindᵇ(s).bindᶜ(p).bindᵈ(s). ... просто дают сужение интервала (к примеру до интервала a < x < 1000-d — но, естественно, не совсем такого) — то легко (естественно, не твой короткий пример, а че-то подлиннее, типа Just(x).bindᵃ(p).bindᵇ(s).bindᶜ(p).bindᵈ(s) ).
Мне прям захотелось полноценный код выкатить (включая проверку монадичности), допустим на сишарпе. Тут можно проверить ассоциативность для конечного числа комбинаций, и затем отсюда будет следовать ассоциативность вообще (т.к. там степени).
Исправление a--, :
Если там монада (а похоже на то), и Just(x).bindᵃ(p).bindᵇ(s).bindᶜ(p).bindᵈ(s). ... просто дают сужение интервала (к примеру до интервала a < x < 1000-d — но, естественно, не совсем такого) — то легко.
Мне прям захотелось полноценный код выкатить (включая проверку монадичности), допустим на сишарпе. Тут можно проверить ассоциативность для конечного числа комбинаций, и затем отсюда будет следовать ассоциативность вообще (т.к. там степени).
Исправление a--, :
Если там монада (а похоже), и Just(x).bindᵃ(p).bindᵇ(s).bindᶜ(p).bindᵈ(s). ... просто дают сужение интервала (к примеру до интервала a < x < 1000-d — но, естественно, не совсем такого) — то легко.
Мне прям захотелось полноценный код выкатить (включая проверку монадичности), допустим на сишарпе. Тут можно проверить ассоциативность для конечного числа комбинаций, и затем отсюда будет следовать ассоциативность вообще (т.к. там степени).
Исправление a--, :
Если там монада (а похоже), и Just(x).bindᵃ(p).bindᵇ(s).bindᶜ(p).bindᵈ(s). ... просто дают сужение интервала (к примеру до интервала a<x<1000-d — но, естественно, не совсем такого) — то легко.
Мне прям захотелось полноценный код выкатить (включая проверку монадичности), допустим на сишарпе. Тут можно проверить ассоциативность для конечного числа комбинаций, и затем отсюда будет следовать ассоциативность вообще (т.к. там степени).
Исправление a--, :
Если там монада (а похоже), и Just(x).bindᵃ(p).bindᵇ(s).bindᶜ(p).bindᵈ(s). ... просто дают сужение интервала (к примеру до интервала a<x<1000-d — опять похоже) — то легко.
Мне прям захотелось полноценный код выкатить (включая проверку монадичности), допустим на сишарпе. Тут можно проверить ассоциативность для конечного числа комбинаций, и затем отсюда будет следовать ассоциативность вообще (т.к. там степени).
Исправление a--, :
Если там монада (а похоже), и Just(x).bindᵃ(p).bindᵇ(s).bindᶜ(p).bindᵈ(s). ... просто дают сужение интервала (к примеру до a<x<1000-d — опять похоже) — то легко.
Мне прям захотелось полноценный код выкатить (включая проверку монадичности), допустим на сишарпе. Тут можно проверить ассоциативность для конечного числа комбинаций, и затем отсюда будет следовать ассоциативность вообще (т.к. там степени).
Исходная версия a--, :
Если там монада (а похоже), и pᵃsᵇpᶜsᵈ... просто дают сужение интервала (опять похоже) — то легко.
Мне прям захотелось полноценный код выкатить (включая проверку монадичности), допустим на сишарпе. Тут можно проверить ассоциативность для конечного числа комбинаций, и затем отсюда будет следовать ассоциативность вообще (т.к. там степени).