Телеграмм чат группы haskellru страница 15291

23:32пожаловаться #1

Yan Shkurinskiy in Haskell

(я подумаю)

Зигохистоморфный Пре... in Haskell

23:32пожаловаться #2

2021 January 23

ЗП

https://github.com/hadolint/hadolint

GitHub

hadolint/hadolint

Dockerfile linter, validate inline bash, written in Haskell - hadolint/hadolint

00:17пожаловаться #3

Yan Shkurinskiy in Haskell

Решил с женой посмотреть старую комедию...

00:21пожаловаться #4

Misha Puzanov in Haskell

а как в серванте сделать "хочу QueryParam "param1" Text" или QueryParam "param2" Text, но один из них и только один" ?

00:33пожаловаться #5

Andrey in Haskell

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

00:34пожаловаться #6

Или сделать оба Optional и в своём хендлере выкинуть ошибку если что не так

00:35пожаловаться #7

Andrey in Haskell

тоже вариант нормальный

00:35пожаловаться #8

Misha Puzanov in Haskell

Maxim Koltsov

Или сделать оба Optional и в своём хендлере выкинуть ошибку если что не так

ну вот да, чо-то я перемудрил

00:35пожаловаться #9

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

Зигохистоморфный Пре... in Haskell

00:36пожаловаться #10

ЗП

для своего оператора прийдется делать инстанс для ToSchema и прочее

00:38пожаловаться #11

Конечно

00:40пожаловаться #12

я почитал про readerT pattern

02:00пожаловаться #13

вроде все понял

02:00пожаловаться #14

а теперь вижу часто в примерах конструкцию вида

02:00пожаловаться #15

newtype App a = App
{ unApp :: ReaderT AppEnv IO a
} deriving (Functor, Applicative, Monad, MonadIO, MonadReader AppEnv)

02:00пожаловаться #16

а зачем заворачивать ReaderT в такой newtype?

02:00пожаловаться #17

абстракция

02:01пожаловаться #18

чтобы не торчали наружу кишки

02:01пожаловаться #19

мало ли захочешь на другую монаду менять