ващет можно, потому что есть доказательство что порядок вычеслений не влияет на результат

в теории

у монад есть чоткие свойства и объекты в хаскеле им соответствуют

и полезны они из за этих свойств

как и монойды например

эм. ты это серьезно? в хеллоу воролде не влияет, а в реальном приложении где есть хранилище данный и пользователи системы(не обязательно люди) - как то уже и не понятно

или они тоже для заглаждиваний косяков ленивости

ладн, терь реально работать пошел. Если вдруг там объяснение подъедет буду рад почитать

то есть в любую единицу времени можно сказать что делает программа на хаскеле не глядя в дампы и в дебаггеры?

можно сказать что эти вычесления приведут к одному и тому же

независимо от порядка

все, точн ушел

я не много о другом спросил

я хз ответ на твой вопрос. Я к тому, что возможно тебе это и не нужно будет в принципе

Матан к алгебре вообще мало отношения имеет

Ну так поэтому и стыдно теперь за тот холивар)

Ну разве что для доказательства высокоуровневых теорем матана используется алгебра. Но не наоборот

Например, для теоремы Абеля.

Давайте вести дискуссию конструктивно и не переходить на личности. Нам ещё не приходилось кого-то банить в этом чате за оскорбления. Надеюсь, что и не придётся.

ну как это не потребуется? если не известно что программа делает, но известно, что !однажды! она достигнет нужного результата - это как то не правильно звучит. например потому, что со стороны твое приложение это черная коробка и финальную нагрузку на систему, когда все наконец вычисляться начнет сложно предугадать за ранее, и что более важно - если твоих программ не одна, а много таких запущено - что произойдет, если что то начнется вычисляться одновременно? ну я так полагаю, что считаться как минимум будет очень медленно, потому что всем ресурсов не будет хватать. решение - давайте всех арспихаем по разным тачкам плохое, потому что 90% твое приложение ничего не делает, потмоу что оно ленивое. а 10% - какой то апокалипсис и по закону Мерфи - апокалипсис точно будет фатальным. Линукс скажет, что ulimit закончится и кабздец твоим двум сервисам живущим на одной тачке. Но даже если и не упадет - буедт медленно считаться, так как вместо того что бы равномерно нагрузку размазывать - все выполняется в какой то один не предсказуемый момент.