тип результата
-- ↓
data Reader r a = R (r -> a)
-- ↑
-- тип неявной зависимости
то есть в данном определении структуры данных мы явно указываем её поведение в отличие, к примеру, от data List a , где поведение происходит из конструкции самой структуры? и есть ли категоризация структур по данному признаку, потому что я только к концу курса понял, почему тип в инстансах условно каррированный
поведение не всегда происходит из самой структуры. для списка, например, можно определить разные инстансы Applicative. для Reader не уверен, можно ли. а поведение instance Functor у всех следует из структуры, тоже не поделить никак.
Обсуждают сегодня