(я не знаю имеет ли смысл или нет)

спасибо

https://www.youtube.com/watch?v=emj-p49p4bc&feature=youtu.be во какая штука по ютубам ходит

Так. Я открыл трансляцию и увидел 1С. Это так и задумано?

наверное, @IIvana же 1c программист

Точно, в заголовке написано

а можно ли как-нибудь совместить количество бойлерплэйта QuickCheck и красоту отчётов Hedgehog?

хм, да, в принципе есть, боттом же в первом тоже пройдет

чтобы было бойлерплейта как в hedgehog и выглядело как quickcheck? )

а можно ли как-нибудь совместить количество бойлерплэйта QuickCheck и красоту отчётов Hedgehog?

написать тайпкласс и инстансы которые по типам ежовые комбинаторы комбинируют?

чтобы было бойлерплейта как в hedgehog и выглядело как quickcheck? )

genius.jpg

написать тайпкласс и инстансы которые по типам ежовые комбинаторы комбинируют?

хм. у ежа ведь есть адаптер для Arbitrary...

он, наверное, тогда минифицировать контрпримеры не сможет, нет?

case foo ^. bar of X -> pure () ; _ -> Left "Bad foo" как с линзами хорошо написать?

для foo можно генирть поля призмы линзы и все прочее

ну почему servant-auth берет JWK а не JWKSet? опять всё переписывать

вот всё так в хаскеле

ох уж эти типы

а вот не было бы типов

и было бы все хорошо

может раже сработало бы

главное что ошибок типов бы не было то есть ошибок было бы меньше

действительно!

я не думал с этой стороны

Ну почему всё так плохо :(

Дайте-ка я расширю Auth своим методом - а вот хрена лысого, нужные классы не экспортируем

лучше бы я на питоне писал. там мне бы джанго всё сама сделала

что там не экспортировано?

https://github.com/haskell-servant/servant-auth/blob/master/servant-auth-swagger/src/Servant/Auth/Swagger.hs#L38 ну вот это хотя-бы. Нет, я конечно форкну и пулл-реквест сделаю.

но вот прототипировать на хаскеле нельзя

кругом засада

Прототипировать надо на лиспе, а потом из лиспа генерить хаскель

да вы извращенец

а что, в вашем лиспе больше либ готовых к продакшену?

прототипировать надо на Скретче и импортировать потом в асемблер

Прототипировать надо на лиспе, а потом из лиспа генерить хаскель

макросами

вечно вы всё к смехуёчкам сводите. сами то поди на кложе прод пишете

я вообще рубист

а я фронтендер на жиес

все так, прототипируем на руби, потом переписываем на фронтенд

А я студент ?

кроме шуток, прямо сейчас сидим и перносим логику с бэка на фронт

тонкий сервер?

не совсем тонкий, просто рендер переносим

но в рендере логики побольше чем в бэке

case foo ^. bar of X -> pure () ; _ -> Left "Bad foo" как с линзами хорошо написать?

foo ^? bar . _X . to Right ^. non (Left "Bad Foo") ?

пасиб

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

мне кажется это снепривычки

хотя я тоже с трудом читаю

@A64m_qb0 а аналог is есть?

не понял

чтобы что-то типа unless (foo ^. bar . _X ....) $ Left "Bad Foo" написать

.to (const $ True) . non False

только чтобы человечно было

какой-то maybeToEither "error!"

не знаю, может и есть, но это думать надо

можно еще matching (bar . _X) foo & _Left .~ "Bad foo"

хм..

пока все ещё страшнее, но спасибо вроде понял

более тупой вопрос есть Lens

есть Lens M (Maybe X) есть Prism X Y как сделать из первой Lens M (Maybe Y) ?

есть Lens M (Maybe X) есть Prism X Y как сделать из первой Lens M (Maybe Y) ?

как нибудь hoist?

a . _Just . b, но получится призма, линза невозможна

хотя...

а как сделать линзу? у меня все во все стороны есть

хотя может это и должна быть призма

в общем-то это изначально 0, or 1 target

в общем вся задача

есть Map X Y хочу линзу/призму wtf которая работает с определенным ключем

ну там не Map, но у него есть At класс

at возвращает линзу, т.е. я и думал, что мне тоже линза нужна

ну из at призмы линза как раз делается non т.е. [1] ^. at 2 . non 0 или что-то вроде

_go :: Lens' Metadata (Maybe Text) _go = at lblName

есть такая штука, она падает с:

• Couldn't match type ‘Text’ with ‘MetadataValue’ Expected type: (Maybe Text -> f1 (Maybe Text)) -> Metadata -> f1 Metadata Actual type: (Maybe (Control.Lens.At.IxValue Metadata) -> f1 (Maybe (Control.Lens.At.IxValue Metadata))) -> Metadata -> f1 Metadata

есть Prism MetadataValue Text

почему не разворачиваются семейства не знаю но там MetadataValue будет

или я чушь пишу?

я бы сейчас явно попытвался профунктором воспользоваться

Есть хаскельный проект в докере, контейнер билдится через stack. Как правильно прокинуть в него папку с конфигами? В Dockerfile я сделал бы это через COPY, а как сделать это в stack?

_go :: Lens' Metadata (Maybe Text) _go = at lblName . lmap _foo . rmap _bar _foo :: Maybe MetadataValue -> Maybe Text _foo x = join $ fmap (^? _ValueText) x _bar :: Functor f => f (Maybe Text) -> f (Maybe MetadataValue) _bar = fmap (fmap (\y -> y ^. re _ValueText))

@cblp_su @A64m_qb0 как из этого человеческое что-то сделать?

по типам сходится, по смыслу тоже

далее ещё вопрос, есть Metadata, At => Metadata каким комбинатором по ключу получить и убрать значение из Metadata?

: (

чего-то я сходу не разобрался, это надо в репле с чем-то работающим поэкспериментировать

newtype Metadata = Metadata (Map Text MetadataValue) data MetadataValue = MetadataInt Int | MetadataText Text

это упрощенные до достаточные для воспроизведения типы из пасты выше

могу и компиляющийся пример наверное

хочу lens normalizer

которому даешь линзу, а он её в каноническую форму приводит

@s9gf4ult https://bitbucket.org/s9gf4ult/postgresql-query/issues/2/fails-to-build-with-either-5 Ну Семён Семёныч

линзами только с тайпчеккером можно пользоваться

Есть хаскельный проект в докере, контейнер билдится через stack. Как правильно прокинуть в него папку с конфигами? В Dockerfile я сделал бы это через COPY, а как сделать это в stack?

смонтировать (Ctrl-f://mount на https://docs.haskellstack.org/en/stable/docker_integration/) пробовали?

линзами только с тайпчеккером можно пользоваться

+

смонтировать (Ctrl-f://mount на https://docs.haskellstack.org/en/stable/docker_integration/) пробовали?

не примонтировалось