NL
Возможно не будет GADT, TF, Free monads, рекурсивных схем и линз, но это как-нибудь сами уж
Size: a a a
2020 January 08
G
Интересно
G
Но я библиотеки предпочитаю по их документации учить
G
В книгах это занудно слишком
AZ
Неплохая книжка
NL
Но я библиотеки предпочитаю по их документации учить
И правильно, знаю я множество книг по джаве, которые просто джавадок своими словами пересказывали. Макулатура.
AZ
правда мне её видимо уже поздно читать
AZ
У меня затык с трансформерами
AZ
у меня была функция foo = a . b
AZ
чтобы тупо разбить их на foo f = a . f и fooPublic = foo . b мне понадобилось подключить 2 либы и протрахаться час)
AZ
В итоге из
foo :: IO [User] родилось foo :: IsSqlBackend backend => ReaderT backend (NoLoggingT (ResourceT IO)) a -> IO a
NL
В итоге из
foo :: IO [User] родилось foo :: IsSqlBackend backend => ReaderT backend (NoLoggingT (ResourceT IO)) a -> IO aТак тоже можно.
Но лучше сделать ограничение
Иногда ради одной функции с ними возиться лень.
Но лучше сделать ограничение
MonadIO m, и NoLoggingT возможно тоже уйдёт в ограничение (надо посмотреть, как оно там определено), и да, вложенные классы намекают на полезность трансформеров.Иногда ради одной функции с ними возиться лень.
NL
В идеале должно получиться
foo :: MyAppMonad m => m [User]AZ
В идеале должно получиться
foo :: MyAppMonad m => m [User]Должно, но у меня не получается
NL
можешь подсказать если есть желание: https://github.com/Pzixel/haskell-operden
сейчас у меня поздновато, завтра гляну
AZ
AZ
просто тупо сегфолт на винде