LINUX.ORG.RU

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

Исправление anonimous, (текущая версия) :

В Haskell даже тип percent = «целое число от 0 до 100», насколько я знаю, описать нельзя.

А почему, кстати, нельзя, можете на пальцах объяснить? Видать из-за супер-мега-адвансед-type-system? Видать какой-то моноид попадает не в ту категорию функторов?
ЗЫ Когда я писал про ЯП с ФВП, я не имел в виду это дерьмо. Я это за ЯП не считаю.

Исходная версия anonimous, :

В Haskell даже тип percent = «целое число от 0 до 100», насколько я знаю, описать нельзя.

А почему, кстати, нельзя, можете на пальцах объяснить? Видать из-за супер-мега-адвансед-type-system? Видать какой-то моноид попадает не в ту категорию функторов?