При работе в интерпретаторе часто бывает удобно привязать функцию к имени, например: ghci> let f = (+1) ghci> f 1 2 Это псевдоним имени f для функции (+1) . Простой. Однако это не всегда работает. Один пример, который я нашел,...

Я реализовал преобразователи в Haskell следующим образом: {-# LANGUAGE RankNTypes #-} import Prelude hiding (foldr) import Data.Foldable type Reducer b a = a -> b -> b type Transducer a b = forall t. Reducer t b -> Reducer t a class...

Когда я ввожу команду :t в GHCi, я вижу полиморфный тип: ghci> :t 42 42 :: Num t => t ghci> :t div div :: Integral a => a -> a -> a Но после того, как я на самом деле оцениваю такие функции, я вижу результат правил по...

Я изучаю типы SYB и rank n и наткнулся на запутанный случай того, что кажется ограничением мономорфизма. Я написал функцию для поиска самой мелкой записи, соответствующей предикату. Вместо функции сокращения я хотел принять функцию, более похожую...