На гиттере ищи

ну я уже нашел

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

Да он самый

Город просыпается

Товарищи, а кто тут с сервантом знаком

если мне из

эндпоинта нужно вернуть пустое боди

они предлагают NoContent ставить

а почему не () ?

т.к. при разных contenttype () не пустое?

понятно, просто в хэндлерах не охота писать return NoContent

я так подоздерваю что у меня проблемы с

боди ошибок из-за контент тайпа

shortPassword = err400 { errBody = "Password should be at least 6 chars" } вот такая ошибка на клиент приходит просто 400 c пустым боди

и еще у меня такой вопрос type UserLogin = "users" :> Capture "login" String type UserLists = UserLogin :> "lists" :> Get '[JSON] [List] я вот так попытался сделать, но наверное нельзя, или я что-то не так записал?

нельзя

я пока на эту магию с типами не смотрел еще, для меня это пока "магия" :(

а по поводу ошибки не подскажешь что может быть?

почему body не возвращается на UI

там конечно как-то странно оно

у них body это массив байт по сути

хотелось бы тоже как-то типизированно сделать

чтобы я дал свой типчик в ToJSON

*c ToJSON

:>

:3

отдаются байты. т.к. браузер отдает байты

ты делаешь свой типчик и инстансы с ToContentType FromContentType (не помню как имеено)

которые покажут как переводить тип в байтики и обратно

ну да, я понимаю что можно сделать типы, просто TypeSafety теряется:)

ну и я строк упочему-то не смогу венуть

вернее не смог

а вот возвращаемый формат который я указываю в роуте как-то влияет на ошибку?

не понимаю почему теряется

в браузер могут уходить только байт

про последнее не знаю

я чуток попозже кину полный кусок кода

@qnikst вот хэндлер из которого я ошибку получить не могу createUser :: MonadIO m => User -> ExceptT TodoErr m NoContent createUser u = do liftIO $ print u hoistEither $ checkUser u return NoContent checkUser :: User -> Either TodoErr () checkUser u = checkPassword u >> checkLogin u checkLogin :: User -> Either TodoErr () checkLogin User {..} | length login < minLoginLen = Left shortLogin | otherwise = Right () checkPassword :: User -> Either TodoErr () checkPassword User {..} | length password < minPasswordLen = Left shortPassword | otherwise = Right () type TodoErr = ServantErr shortLogin :: TodoErr shortLogin = err400 { errBody = "login" } shortPassword :: TodoErr shortPassword = err400 { errBody = "password" }

точнее статус код получа.

а боди пустое

я попозже посмотрю, мне щас по работе овердофига сделать надо

Спасибо, я уже сам тут поковырялся

моя вина была

DHC клиент которым я запросы делал боди не показывал

Там Lts 7.0 выкатили с ghc 8.0.1, уряяяя

А с пакетами все ок? Там же какие то нововведения, ломающие совместимость

В смысле, в лтс все попало?

Я вчера только новость прочесть, ну и я не пишу фултайм на хаскеле? пока ничего сказать не могу

Привет! Посоветуйте литературу по хаскелю. Умею в плюсы03, джаву, котлин, скалу немного. Слушал в универе про разные выразительные системы типов на курсах функционального программирования и компиляторов, умею в лямбы, основы формальной логики. Работаю андроид разработчиком и грущу наследуя

хочу быстрее раздуплиться

Привет! Посоветуйте литературу по хаскелю. Умею в плюсы03, джаву, котлин, скалу немного. Слушал в универе про разные выразительные системы типов на курсах функционального программирования и компиляторов, умею в лямбы, основы формальной логики. Работаю андроид разработчиком и грущу наследуя

http://haskellbook.com

препод писал на агда и коке, а мы грустили, что не умеем так-же

+ eopl, sicp, htdp, documentation

Привет! Посоветуйте литературу по хаскелю. Умею в плюсы03, джаву, котлин, скалу немного. Слушал в универе про разные выразительные системы типов на курсах функционального программирования и компиляторов, умею в лямбы, основы формальной логики. Работаю андроид разработчиком и грущу наследуя

The art of programming, Knuth

sicp rip

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

или меня уже тралят?

по хаскелю много книг сейчас. почти все хороши

Haskell book самая свежая

Я себе составил список: Learn haskell for a great good RWH Beginning Haskell Parallel an concurrent haskell от Simon Marlow

Можешь пойти курсы на степике

Они мне в начале помогли

Привет! Посоветуйте литературу по хаскелю. Умею в плюсы03, джаву, котлин, скалу немного. Слушал в универе про разные выразительные системы типов на курсах функционального программирования и компиляторов, умею в лямбы, основы формальной логики. Работаю андроид разработчиком и грущу наследуя

я сам учусь потихоньку, для себя составил план: идти по http://www.cis.upenn.edu/~cis194/spring13/lectures.html (с домашними заданиями и обязательным чтением дополнительного — http://learnyouahaskell.com/starting-out + http://book.realworldhaskell.org/read/ , сам по себе курс довольно хардкорный), сейчас там другой чел новый курс читает, но пока только 3 лекции выложено: http://www.cis.upenn.edu/~cis194/fall16/lectures.html Также рекомендую https://www.ohaskell.guide/ . Книга недописана, но то, что есть, доступно и хорошо.

Завтра кстати курсы начинаются от Glasgow University https://www.futurelearn.com/courses/functional-programming-haskell/1/

Спасибо за ответы

Там монады хоть есть?

В этом курсе от Glasgow University

На курсах от степика точно есть

Не видел еще курса с монадными трансформерами)

Таких я тоже не видел, но я думаю если с монадами тебя знакомят

То с мтл ты уже как-то справишься

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

Это скорее чтобы дать толчок к дальнейшему изучению

По-моему курсы по хаскелю можно бесконечно вести

Товарищи, у меня тут вопрос возник

написал себе вот такую функцию

[User -> Either MyErr ()] -> User -> Either MyErr ()

сам

есть много проверок состояния юзера

вот таких функций: User -> Either MyErr ()

хотелось как-то их просто в список собрать

и чтобы явно не передавать юзера в каждую

check :: [User -> Either TodoErr ()] -> User -> Either TodoErr () check [] _ = return () check (x:xs) u = x u >> check xs u

я вот такое написал

в стд либ нету чегото похожего?

hoogle не помог

А map итп?