AA
че эт тут никто депендент хачкель не обсуждает
да мне чет даже обсуждения на реддите/гитхабе читать страшно
Size: a a a
2020 November 15
к
Скажите, это нормально, или я _перестарался_?
runApp :: AppConfig -> AppState -> Conn -> LogFunctionT IO () -> Application a -> IO (Either AppException a)
runApp config state connection logFunction app = flip evalLoggerT logFunction . flip evalPQ connection . runExceptT . flip evalStateT state . flip runReaderT config $ app
ну ты разнесли на разные строки, и увидишь что не так уж и много там
runApp config state connection logFunction
= flip evalLoggerT logFunction
. flip evalPQ connection
. runExceptT
. flip evalStateT state
. flip runReaderT configA
А есть где-нибудь подробный туториал как сделать простой проект с тестами используя кабал?
TZ
А есть где-нибудь подробный туториал как сделать простой проект с тестами используя кабал?
А что конкретно интересует? Сетап проекта? Импорты?
A
А что конкретно интересует? Сетап проекта? Импорты?
Последовательность дейсвтия начиная с создания нового проекта до момента запуска тестов.
TZ
Так, чтобы это всё было собрано в одном месте - не помню. Что-то интересное было у ковайников, там про сетап
TZ
Плюс у них есть summoner - это scaffolding проекта
DB
ну ты разнесли на разные строки, и увидишь что не так уж и много там
runApp config state connection logFunction
= flip evalLoggerT logFunction
. flip evalPQ connection
. runExceptT
. flip evalStateT state
. flip runReaderT configНу тут относительно) по факту вышел стек из 6 монад, я таких трансформеров ещё не писал)
Y
Да. Примерно по мануалу Карпова, с небольшой импровизацией.
А код у вас закрытый?
R
а че там? Что посмотреть чтобы начать обсуждение?
AA
митчелл опять
> Although note that the design I came up with originally was based on implementing it, refining it, then programming with it in anger for a year.
> Although note that the design I came up with originally was based on implementing it, refining it, then programming with it in anger for a year.
KV
Я не понял, они хотят запретить называть конструкторы так же, как типы?
AA
еще параметры типов так же, как напр. параметры функций
AA
но там много чего еще помимо этого
AA
ну т.е. не запретить а завхаскель фичи делать так, как будто их нет, т.е. для импользования таких объявлений надо будет делать реэкспорты чтоб тип или конструктор импортировать квалифицированно и т.д. но я за этой темой последнее время не слежу
MP
че эт тут никто депендент хачкель не обсуждает
да чо-то оно не выглядит реалистично
люди джва года не могут решить делать им аксессоры с точкой или не делать и как именно не делать, а тут вообще пол-языка переписать.
люди джва года не могут решить делать им аксессоры с точкой или не делать и как именно не делать, а тут вообще пол-языка переписать.
AA
да чо-то оно не выглядит реалистично
люди джва года не могут решить делать им аксессоры с точкой или не делать и как именно не делать, а тут вообще пол-языка переписать.
люди джва года не могут решить делать им аксессоры с точкой или не делать и как именно не делать, а тут вообще пол-языка переписать.
ну, тех у кого мнение есть о том, какие рекорды должно быть намного больше же, правда и про завтипы есть любители порассуждать.
тут надо скорее с линтипами сравнивать, которые все же прошли.
тут надо скорее с линтипами сравнивать, которые все же прошли.
R
да чо-то оно не выглядит реалистично
люди джва года не могут решить делать им аксессоры с точкой или не делать и как именно не делать, а тут вообще пол-языка переписать.
люди джва года не могут решить делать им аксессоры с точкой или не делать и как именно не делать, а тут вообще пол-языка переписать.
ну если не мешать людям, которые делают ДХ, они его когда-нибудь сделают
AA
ну щас они растревожат любителей мешать, я так полагаю