я ничего не закрываю, по одной опции на строчку с -with-rtsopts=абырвалг

моноед!

полиед!

а в хаскеле можно правильно реализовать паттерн "синглетон"?

понятно что будет что то типа instance :: IO Singleton

@catamorphism пни меня в районе 6

я скину как кавычки делать

там нужно дважны экранировать или т.п.

понятно что будет что то типа instance :: IO Singleton

с unsafePerformIO разве что, нужно же IORef (или еще какой реф) сделать

там нужно дважны экранировать или т.п.

эээ, ну ладно

понятно что будет что то типа instance :: IO Singleton

IORef надо сделать

с unsafePerformIO разве что, нужно же IORef (или еще какой реф) сделать

ну я сейчас примерно так и сделал, первый в жизни unsafePerformIO

просто удивился, что нет готового решения

"-with-rtsopts=-s -N3 -n4m -A64m -qb0 -I0 -T"

вот это из кабалфайла

@catamorphism

просто удивился, что нет готового решения

а зачем?

попробую

я про это и говорил

ну я сейчас примерно так и сделал, первый в жизни unsafePerformIO

NOINLINE не забудь

IO Singleton это не то несколько

а зачем?

ну обычно оно на каждый чих есть

NOINLINE не забудь

hlint тащит ?

редко и делается одной строкой

а что за строка?

Синглетоны даже в вашем SOLID OOP антипатерн

unsafePerformIO + NOINLINE

Синглетоны даже в вашем SOLID OOP антипатерн

обоснуй

hlint его подсказывает теперь?

ага

ну или ghc-mod, но он вряд ли

что интересно т.к. иногда может быть наоборот inline надо

https://stackoverflow.com/questions/137975/what-is-so-bad-about-singletons

гугл еще подсказывает singletons considered stupid

так это же линтер, когда inline надо он типа ругается что антипаттерн

обоснуй

https://www.google.ru/search?q=singletons+considered+harmful

просто нужно правильные синглетоны

1 значение - 1 тип

и все круто

ещё и подобие DT поверх

НЕ ОЧЕНЬ

ну типа конечно правильные вещи пишут

но альтернативы я там не особо нашел

НЕ ОЧЕНЬ

синглтоны или кавычки в кабал файле?

синглетоны

местные или оопшные?

и те и другие

синглтон = шарить стейт. а хаскель как-то не очень с этим

и те и другие

а как еще делать FastString?

ну то есть понятно, что можно взять все синглтоны, собрать вместе, завернуть в readerT и херануть в код, но фреймворк сука против

ну вот, например, пул подключений к СУБД

все, ВСЕ делают пул в ридере

ну то есть понятно, что можно взять все синглтоны, собрать вместе, завернуть в readerT и херануть в код, но фреймворк сука против

так в чем проблема с пулом в ReaderT, это же логично и удобно

(MonadReader r m, HasPool r) => и -> вперда

ну в том, что в фреймворке захардкожен тип IO (FrameworkMonad ())

и я не могу переопределить FrameworMonad

че за фреймворк такой

lift то можно?

happstack-lite же

не, ну lift можно

хапстак вообще весь на трансформерах

там три десятка трансформеров в глубину

вот лайтовая версия видимо нет

надо бы апгрейдится на нормальную

ну вот, например, пул подключений к СУБД

withPool + reader

куда я там reader запихну?*

мне же его вызвать надо из-за пределов main loop

юя не очень хочу читать интерфейсы хапстакп

serve config (runReaderT myApp pool)

серьезно, заработает?Нг

но вот как выше наверняка можно

дока у них из говна походу

спасибо за помощь

ты не гони, автор голыми руками , практически один, этот хаппстак поднял

первый фреймворк для вебчика на хаскеле

я код и автора не отождествляю

Джереми молодец и умничка

если все заработает сделаю PR в доку

я бы, правда, на твоём месте сильно в happstack не вкладывался

чего мне с stm-conduit делать?

там прилично поменялось то, что ожидается от кода и наверное поломаю чужой код

чего мне с stm-conduit делать?

unliftio подводит?

да, уже перевел

выпускай очень мажорную версию

отсуствие финализаторов в conduit

саппорти предыдущую

но я потом хочу ещё более мажорную

делай две!

я бы, правда, на твоём месте сильно в happstack не вкладывался

да чем там вкадываться, мне от него ничего сложнее роутинга и не надо то было

Синглетоны даже в вашем SOLID OOP антипатерн

В SOLID Синглтонов нет. Есть в GoF. Но таки да, антипаттерн

синглтон = шарить стейт. а хаскель как-то не очень с этим

Не обязательно. Это может быть stateless сервер

*сервис, сорри

мне же его вызвать надо из-за пределов main loop

Вот именно здесь нужно задуматься над тем, есть ли у вас разделение на чистую модель предметной области и на нечистый рантайм (интерфесы и имплементация). В таком дизайне вопросов про пулы не возникает, так как пул БД, всякие HTTP клиенты и все похожее - чисто рантаймные штуки и не имеют отношения к предметной области. А значит, должны уйти в имплементацию. Можно и MonadReader паттерн

ничего не понял :(

но и не важно

И, повторюсь, фри монады решают эту проблему очень хорошо

ничего не понял :(

я тоже

Но не обязательно только они

Ну вот опять