Все-таки оставили:
GHCi> :i ($) ($) :: forall (r :: GHC.Types.RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b -- Defined in `GHC.Base' infixr 0 $ GHCi> :i undefined undefined :: forall (r :: GHC.Types.RuntimeRep) (a :: TYPE r). GHC.Stack.Types.HasCallStack => a -- Defined in `GHC.Err' Хорошо хоть
> :t ( Read more... )

В выражении
GHCi> succ <$> "abc" "bcd" оператор <$> имеет тип (Char -> Char) -> [Char] -> [Char]. Верно ли это утверждение для обоих вхождений <$> в следующем выражении
GHCi> succ <$> succ <$> "abc" "cde"

Приведите пример таких объявлений типа данных с конструктором данных T и сигнатуры функции f, что реализация

f (T x) = T x
проходила бы проверку типов, a

f x = x
нет.

Померил тут, похоже про магические хэши не надо рассказывать. Тут length' - текущая реализация из GHC, length0 - трех?летней давности:
{-# LANGUAGE MagicHash ( Read more... )

Между Haskell Report и GHC base имеется дивная взаимная рекурсия.

В GHC base мы имеем такое определение наименьшей неподвижной точки (least fixpoint)

fix :: (a -> a) -> a
fix f = let x = f x in x

В Haskell Report в разделе 3.12 описана трансляция для выражения let в ядро (привожу только релевантные правила)

let p = e1 in e0 = case e1 of ˜p ( Read more... )

Кубик Рубика мы активно крутили в девятом классе средней школы, то есть в 1982 году. С тех пор у меня осталась куча листочков с записями разных алгоритмов.

Спустя 17 лет, в 1999 году, я обнаружил эти листочки в горе мусора, предполагавшегося к отправлению на помойку. Тогда я решил, что стоит перенести все это знание в более долговечный и удобный ( Read more... )

А вот скажите, пожалуйста, та идея что присваивание полю структуры может менять не только значение, но и тип структуры, она помимо кметтовских линз где-нибудь еще в статически типизированных языках реализована?

> ('z', True) & _1 .~ 42
(42, True)
UPD. Мне тут делают совершенно резонное замечание, что стандартный синтаксис модификации записей в ( Read more... )

Маленький хаскеллист попал в Зазеркалье и, преодолев неисчислимые препятствия, дошел до последней горизонтали. Белая и Черная Королевы говорят, что для того, чтобы стать SPJ, ему нужно пройти «Королевский экзамен», ответив на Черный и Белый вопросы: всякий ли Functor является Rotcnuf? всякий ли Rotcnuf является Functor?

class Rotcnuf f where ( Read more... )

А вот Category Theory by Steve Awodey - хороший же вводный курс для магистров и продвинутых бакалавров IT/CS. Автор учился у МакЛейна в Чикаго, потом десять лет читал в Carnegie Mellon, причем не только для математиков, но и для студентов в Computer Science, Logic, Linguistics, Cognitive Science, Philosophy. По мне так просто бери мел и читай, все ( Read more... )

Как вам скорее всего известно, написать представителя класса типов Functor для типа эндоморфизма невозможно. Если неизвестно, то можете попробовать
newtype Endo a = Endo (a -> a) instance Functor Endo where fmap f (Endo g) = Endo undefined Даже если ваш результат сойдется по типам, законам для функтора он удовлетворять не будет.

Вот вам другой ( Read more... )