Расширения классов типов. Конспект.

[lomeo]

Расширения типа fundep или MPTC обычно понятны бывают сразу, ну, по крайней мере, их идея. А вот чтобы разобраться с ошибками при инстанциировании класса, придётся разобраться.


-XConstrainedClassMethods
Позволяет определять контекст над переменными типа из объявления класса в объявлениях методов.
Частичная задача -XFlexibleContexts.

Пример

{-# LANGUAGE MultiParamTypeClasses, ConstrainedClassMethods #-}

class Map m k v where
    empty :: m k v
    put   :: k -> v -> m k v -> m k v
    get   :: Eq k => k -> m k v -> Maybe v

Здесь в get определён контекст для k.

-XUndecidableInstances
Аналог синонимов типов. Синонимы класса. Применяется совместно с FlexibleInstances.

Пример

{-# LANGUAGE FlexibleInstances, UndecidableInstances #-}

class ObservableEq a where
    (===) :: a -> a -> Bool

instance Eq a => ObservableEq a where
    (===) = (==)

Экземпляр класса здесь представляет не конкретный тип, а (Eq a) => a.

-XOverlappingInstances
С предыдущей опцией можно наворотить кучу инстансов, которые могут быть применимы к одному и тому же набору типов.

{-# LANGUAGE FlexibleInstances, UndecidableInstances, OverlappingInstances #-}

class ObservableEq a where
    (===) :: a -> a -> Bool

instance Eq a => ObservableEq a where
    (===) = (==)

instance ObservableEq [a] where
    (x:xs) === (y:ys) = True
    _      === _      = False

И вот мы применяем (===) к [Int]. Какой инстанс сработает?

При включении флага OverlappingInstances GHC не будет ругаться, а выберет более точный инстанс (в нашем случае последний).

-XIncoherentInstances
Пойдём дальше, предположим, что некой функции мы выбрали наиболее точный инстанс, однако эта функция может примениться к типу, для которого подходит ещё более точный инстанс. Код:

{-# LANGUAGE FlexibleInstances, UndecidableInstances, OverlappingInstances, IncoherentInstances #-}
class ObservableEq a where
    (===) :: a -> a -> Bool

instance Eq a => ObservableEq a where
    (===) = (==)

instance ObservableEq [a] where
    (===) = undefined

instance ObservableEq [Integer] where
    (===) = (==)

tailsObsEq xs ys = tail xs === tail ys

Здесь тип tailsObsEq :: (ObservableEq [a]) => [a] -> [a] -> Bool, т.е. был применён второй instance. Если мы выключим ключик IncoherentInstances, то поимеем ошибку при сравнении tailsObsEq [1] [1], т.к. это уже тип [Integer]. IncoherentInstances же закрепляет за tailsObsEq навсегда второй инстанс.

На сегодня всё :-) Более общие вещи типа FlexibleInstance ещё до тонкостей не понимаю.

Comments

[justbulat.livejournal.com]

почему не в сообществе? :(

[justbulat.livejournal.com]

и может добавишь это на http://haskell.org/haskellwiki/Ru/Haskell ?

FlexibleInstance afair просто упрощает ограничения на заголовок instance. стандартные ограничения сделаны довольно жёстко чтобы гарантировать децидабельность. с этим флагом используюься более гибкие ограничения, тем не менее обеспечивающие децидабельность. в частности, type sysmonyms (String вместо хСрфкъ) не этот флаг позволяет писать?

[lomeo.livejournal.com]

> почему не в сообществе? :(
нет мне оправданья!

На вики добавлю, ага.

[nivanych.livejournal.com]

А как ты относишься к Supertyping Suggestion ?
http://repetae.net/recent/out/supertyping.html

[lomeo.livejournal.com]

Даже не знаю. По моему, это заплатка, поощряющая хаки.

[nivanych.livejournal.com]

Афтар тоже сомневается.
Но до сих пор не убрал этот suggestion.
И я тоже сомневаюсь, поэтому и спрашиваю :-)

[nealar.livejournal.com]

Спасибо за overlapping-instances и incoherent-instances! Максимальено чётко написано. Остальное ещё не вкурил, сижу перечитываю. И, действительно, почему не в сообществе?

[lomeo.livejournal.com]

Ну так это попытка самому разобраться :)

Почему не в сообщество - не знаю, я в свой журнал в основном по Haskell пишу и даже не задумывался над тем, чтобы писать в лямбду (ты же про неё?)

Пока вот: http://haskell.org/haskellwiki/Ru/GHC/Class_Instance_Extensions

[palm-mute.livejournal.com]

Спасибо от благодарных потомков!

[lomeo.livejournal.com]

Пожалуйста! Лучшее - это то, что делается для себя :)

[some41.livejournal.com]

в примере для -XOverlappingInstances случайно не instance вместо class?

[lomeo.livejournal.com]

Ой! Спасибо, поправил!