Traversable is Foldable, а мы-то тут при чем?

[deni_ok]

Размышляю тут вторые сутки над вопросом, что делает контекст Foldable в определении класса типов Traversable

class (Functor t, Foldable t) => Traversable t where
...
Технически он не нужен: никакая функциональность Foldable не используется ни при выражении законов Traversable, ни для реализации по умолчанию его методов.

Контекст Functor,

Comments

[sassa_nf]

так на самом деле тут нужно что-то такое:

instance (Traversable t) => Foldable t where
foldMap = foldMapDefault

[deni_ok]

Для этого потребуются FlexibleInstances и UndecidableInstances для объявления и еще и OverlappingInstances, если у нас встретятся прямые реализации представителей Foldable.

[sassa_nf]

ну да, но каковы последствия от включения этих фич? что-то перестанет работать?

[deni_ok]

Почему-то отсутствует, хотя согласен со здравостью идеи.

[lelf]

Мне лень сейчас искать, но этот proposal давно есть

[deni_ok]

Было бы странно, если бы не. Просто сейчас это несколько актуализировалось.

[deni_ok]

Нашел: https://wiki.haskell.org/Class_system_extension_proposal

[migmit]

Замечательно изложено, почему Monad не должен быть наследником Applicative.

[deni_ok]

Что ж ты раньше молчал!

[migmit]

Ну дык хипстота так мечтала, чтобы оно случилось. Должны же мечты сбываться.

[deni_ok]

Кому же, как не тебе, индоктринировать хипстоту правильным образом!