мета-данные страницы
  •  
Загрузка не удалась. Возможно, проблемы с правами доступа?

Различия

Показаны различия между двумя версиями страницы.

Ссылка на это сравнение

Предыдущая версия справа и слеваПредыдущая версия
Следующая версияСледующая версия справа и слева
haskell [15/09/2018 15:02] – [2.6 Использование монады состояния] vlasovhaskell [15/09/2018 22:01] – [2.5 Проблемы преобразования типов в выражениях] vlasov
Строка 382: Строка 382:
 4.0</code> 4.0</code>
 </note> </note>
 +
 +<note>
 +Как показали дальнейшие изыскания, изначальное поведение было обусловлено ещё одной проблемой Haskell, так называемом ограничении мономорфизма:
 +[[https://wiki.haskell.org/Monomorphism_restriction|Monomorphism_restriction]]. В современных версиях ghci это ограничение отключено, но при желании его можно вновь включить и потестировать указанные выше странности:
 +<code>
 +Some flags have not been recognized: -X
 +Prelude> :set -XMonomorphismRestriction
 +Prelude> let x = 2
 +Prelude> x + 2.0
 +
 +<interactive>:5:5: error:
 +    * No instance for (Fractional Integer)
 +        arising from the literal `2.0'
 +...
 +</code>
 +</note>
 +
  
 Вот версия более простого и понятного примера: Вот версия более простого и понятного примера: