1
Що таке обмеження мономорфізму?
Мене бентежить те, як компілятор haskell іноді вигадує типи, які є менш поліморфними, ніж те, що я очікував, наприклад при використанні безточкових визначень. Здається, проблема полягає в "обмеженні мономорфізму", яке за замовчуванням увімкнено у старих версіях компілятора. Розглянемо наступну програму haskell: {-# LANGUAGE MonomorphismRestriction #-} import Data.List(sortBy) plus = (+) …