AP
Причём ограничение только в одну сторону
Size: a a a
2021 October 12
AP
Для других m вполне может использоваться тот же env
И
👌
AP
class Monad m => MonadReader m where
type EnvType m
ask :: m (EnvType m)AP
тут у MonadReader нет параметра для окружения, но тип окружения закрепляется в инстансе
AP
instance MonadReader PersonReader where
type EnvType PersonReader = PersonИ
Да, в той статье в конце тоже про type families упоминается и показывается такой же пример.
Но насколько я понимаю на этом возможности type families не заканчиваются. Кстати если у кого нибудь есть на примете хорошая статься по этому расширению или может есть книга в которой это расширение разбирается подробно, скиньте пожалуйста ссылочку/название книги
Но насколько я понимаю на этом возможности type families не заканчиваются. Кстати если у кого нибудь есть на примете хорошая статься по этому расширению или может есть книга в которой это расширение разбирается подробно, скиньте пожалуйста ссылочку/название книги
[
Thinking with types
[
Книга
И
Ок, спасибо, хотя честно говоря побаиваюсь этой книги :)
YK
Про эту книжку речь?
https://thinkingwithtypes.com/ ?
https://thinkingwithtypes.com/ ?
[
Она простая
[
Там даже математики нет
YK
Спасибо
JS
можно гитхаб погрепать
[
Ну через семейства типов можно манипулировать типами, как ни странно
[
Допустим составить из листа типов тип функции
JS
для введения есть статьи https://wiki.haskell.org/GHC/Type_families