История изменений
Исправление a--, (текущая версия) :
Можно взять вещественные неограниченной точности. У нас тут только +1 и -1, поэтому ассоциативность будет (для них, а не для IEEE754).
Тут можно на эту тему поспорить с целью уточнения формулировки, но это неинтересно.
Интересно то, что настоящие монады допускают распараллеливание в ряде важных частных случаев, а «монадосодержащий продукт в упаковке, выглядящей идентично натуральной» — как это сделано в хаскеле — не допускает.
При этом, возможно, в хаскеле можно добавить настояющую do-нотацию для настоящих монад, куда как-то запретить вход IO и подобным суррогатам. При этом по сигнатуре она может быть той же, что и обычная.
Исправление a--, :
Можно взять вещественные неограниченной точности. У нас тут только +1 и -1, поэтому ассоциативность будет (для них, а не для IEEE754).
Тут можно на эту тему поспорить с целью уточнения формулировки, но это неинтересно.
Интересно то, что настоящие монады допускают распараллеливание в ряде важных частных случаев, а «монадосодержащий продукт в упаковке, выглядящей идентично натуральной» — как это сделано в хаскеле — не допускает.
При этом, возможно, в хаскеле можно добавить настояющую do-нотацию для настоящих монад, куда как-то запретить вход IO и подобным суррогатам.
Исправление a--, :
Можно взять вещественные неограниченной точности. У нас тут только +1 и -1, поэтому ассоциативность будет.
Тут можно на эту тему поспорить с целью уточнения формулировки, но это неинтересно.
Интересно то, что настоящие монады допускают распараллеливание в ряде важных частных случаев, а «монадосодержащий продукт в упаковке, выглядящей идентично натуральной» — как это сделано в хаскеле — не допускает.
При этом, возможно, в хаскеле можно добавить настояющую do-нотацию для настоящих монад, куда как-то запретить вход IO и подобным суррогатам.
Исправление a--, :
Можно взять вещественные неограниченной точности. У нас тут только +1 и -1, поэтому ассоциативность будет.
Тут можно на эту тему поспорить с целью уточнения формулировки, но это неинтересно.
Интересно то, что настоящие монады допускают распараллеливание в ряде важных частных случаев, а «монадосодержащий продукт в упаковке, выглядящей идентично натуральной» — как это сделано в хаскеле — не допускает.
При этом, возможно, в хаскеле можно добавить настояющую ду-нотацию для настоящих монад, куда как-то запретить вход IO и подобным.
Исправление a--, :
Можно взять вещественные неограниченной точности. У нас тут только +1 и -1, поэтому ассоциативность будет.
Тут можно на эту тему поспорить с целью уточнения формулировки, но это неинтересно.
Интересно то, что настоящие монады допускают распараллеливание в ряде важных частных случаев, а «монадосодержащий продукт в упаковке, выглядящей идентично натуральной» — как это сделано в хаскеле — нет.
Исходная версия a--, :
Можно взять вещественные неограниченной точности. У нас тут только +1 и -1, поэтому ассоциативность будет.