LINUX.ORG.RU

История изменений

Исправление 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, поэтому ассоциативность будет.