цензура на марше если чо

warp чистый тоже норм

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

А что из фреймворков хаскельных не на любителя? Я вижу выше servant рекомендуют как самый лучший выбор. Серьезно, хочется знать, что стоит использовать программисту со средним знанием хаскеля для user facing сервера если вдруг предьявится возможность на хаскеле писать.

если нужно генерировать swagger, документацию, тесты быть RFC-compatible, поддерживать разные accepted content-type то servant очень хороший выбор

у него есть проблемы, он может долго компиляться если 100600 endpoint-ов

у него могут быть очень сложные^W длинные ошибки типов

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

если нужно простой сайт на 1.5 endpoint-а, который пофи что отвечает в случае ошибки, то можно брать что-нибудь другое

я обычно вообще начинал на warp чистом, но после того как несколько раз заметил, что я начинаю переизобретать servant - стал с него начинать

вообще все поверх wai/warp

если нужно простой сайт на 1.5 endpoint-а, который пофи что отвечает в случае ошибки, то можно брать что-нибудь другое

Спасибо за информацию! ? Я игрался со споком - он понятен был даже начинающему хаскелисту. А вот по йесоду купил книгу Сноймана, но он показался слишком тяжёлым.

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

а зачем в споке стейт свой?

а зачем в споке стейт свой?

Не имею понятия. Весь мой опыт заключается в том, что год назад за полдня собрал сервер с простым json api и in-memory db для тестирования видеоигры (чтобы не к продакшну подключаться), сервер просто эмулировал аутентификацию и случайные данные отсылал клиентам. Я тупо следовал туториалу, и все как надо работало. Была какая-то проблема с хэдером при запросе из webassembly клиента (у нас игры ?) , я создал ишью на гитхабе и автор помог разобраться.

вообще spock норм

꧁꧂ ꧁꧂ ꧁꧂ ꧁꧂ ꧁꧂ ꧁꧂ будет жить. Поприветствуем!

у него могут быть очень сложные^W длинные ошибки типов

Это не проблема, как и долгая компиляция. Мы используем servant-generic (который был впилен прямо в servant с версии 0.14) и разбиваем группы эндпоинтов с одинаковым префиксом по разным модулям. Компилируется так же быстро, как и любые другие Haskell модули, проблем с длинными ошибками никогда не было. Цена за это: небольшой (совсем чуть-чуточку) бойлерплейт. В данный момент я уже не вижу особых причин не использовать servant, а использовать другой фреймворк. Уж слишком много преимуществ из того, что ты описываешь свое Web API через тайплевельный DSL. Сложности бывают только тогда, когда надо инстансы нетривиальные писать, когда что-то не работает. Ну и использовать servant /= разрабатывать servant, для использования хватает самых базовых знаний в магии на типах в Haskell.

а о том как :doc работает с не гейропейскими локалями

Просто недавно формат локалей в glibc поломали. Я думал может оно.

Ну в общем на фотке слева от Брайтнера Eric Seidel

почему haddock может зависать на haskell-src-exts-1.20.2? то есть жрёт 100% CPU и за всю ночь ничего не сделал

Это не проблема, как и долгая компиляция. Мы используем servant-generic (который был впилен прямо в servant с версии 0.14) и разбиваем группы эндпоинтов с одинаковым префиксом по разным модулям. Компилируется так же быстро, как и любые другие Haskell модули, проблем с длинными ошибками никогда не было. Цена за это: небольшой (совсем чуть-чуточку) бойлерплейт. В данный момент я уже не вижу особых причин не использовать servant, а использовать другой фреймворк. Уж слишком много преимуществ из того, что ты описываешь свое Web API через тайплевельный DSL. Сложности бывают только тогда, когда надо инстансы нетривиальные писать, когда что-то не работает. Ну и использовать servant /= разрабатывать servant, для использования хватает самых базовых знаний в магии на типах в Haskell.

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

сколько у нас endpoint-ов в встречаются максимум?

100+ ?

я просто не уверен, что servant себя адекватно поведет

чтот смутно вспоминается, что ещё hi-файлы генерились гигабайтные для таких вариантов

и где-то это боком вылезало

гигабайтные я только в ether помню, но вообще там проблемы есть

ещё почти все generic подходы тормозили на 10+ полях

мне интересно если разбивать Api на type MyApi = Api1 :<|> Api2 :<|> ApiN спасёт ли, или все же обязательно будет делать middleware, которая кусок роутинга сделает.

вообще я бы всем говорил используйте сервант ( и говорю)

но там есть некоторая вербозность пока

@A64m_qb0 хочешь на мои вопросы по линзам поотвечать?

если есть json: {"foo": [bar,baz]} как вытщить bar?

на хаселе есть что - то типа akka-http / http4s или akka-streams?

Рестики педалить

и потоково данные колбасить

для рестиков есть сервант, спок, и прочие звери

протоколы есть как низкоуровневые так и другие

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

ну, dsl для эндпоинтов, с экстракторами и прочим

/shrug

эти слова могут слишком много значить

/me посмотрит документацию вышеперечисленных либ вечером

если есть json: {"foo": [bar,baz]} как вытщить bar?

"{\"foo\": [1,2]}" ^? key "foo" . _Array . ix 0

я сделал через ^? key "foo" . nth 0 так норм?

норм

дальше у нас есть key "foo" . _Array а как ему сказать, чтобы все в [] конвернтул в _Integral или упал?

key "foo" . _Array . _Integral же не протатит ?

_JSON :: [Int]

ну или другой тип, идея, думаю, понятна

понял

Народ, а как в хаскелле получить надпись stackoverflow ? А то мои нехвосторекурсивные функции просто память жрут

никак, это волшебный язык )

я их стэком компилирую

никлас вродеж когда-то не очень давно уговорил саймона сделать анлим стэк

так что проще heap overflow словить

+RTS -K1m ?

Народ, а как в хаскелле получить надпись stackoverflow ? А то мои нехвосторекурсивные функции просто память жрут

размер стека поставить поменьше

мне казалось сейчас лимитированный но большой

да

только лимит динамический

80% или вроде того от объема памяти (только вот какой - не помню)

-K ⟨size⟩ Default: 80% of physical memory Set the maximum stack size for an individual thread to ⟨size⟩ bytes. If the thread attempts to exceed this limit, it will be sent the StackOverflow exception. The limit can be disabled entirely by specifying a size of zero. This option is there mainly to stop the program eating up all the available memory in the machine if it gets into an infinite loop.

ERROR: S client not available

офигеть я даже флаг правильно вспомнил

А этот ман где смотреть?

А вообще на таких программах корректноэто пытаться поймать? mysum = foldr (+) 0 main = print (mysum [1..1000000])

А этот ман где смотреть?

ghc manual

https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/index.html#

[qnikst@nixos:~]$ cat 1.hs mysum = foldr (+) 0 main = print (mysum [1..10000000]) [qnikst@nixos:~]$ ghc -O0 -rtsopts 1.hs [1 of 1] Compiling Main ( 1.hs, 1.o ) Linking 1 ... [qnikst@nixos:~]$ ./1 +RTS -K1m 1: Stack space overflow: current size 33624 bytes. 1: Use `+RTS -Ksize -RTS' to increase it.

как в ghci/runhaskell задать - не знаю

Сейчас получается что если суммировать от 1 до миллиона, то рубеж размера стека где-то между 30 и 40М и не зависит foldl или foldr

Я не хочу пока лезть в foldl', хочу пример где хвостовая важна. Где его искать?

буду фибоначчи тестить лучше

Не, плохой пример. мгновенно работает

Здравствуйте.Какую книгу почитать для начала по Haskell?

Здравствуйте.Какую книгу почитать для начала по Haskell?

ссылочка где? в описании выше

А вообще на таких программах корректноэто пытаться поймать? mysum = foldr (+) 0 main = print (mysum [1..1000000])

Здесь нет переполнения стека

Есть расход памяти на thunks с ленивыми суммами

Если написать на foldl', то "стека хватит" :)

-K ⟨size⟩ Default: 80% of physical memory Set the maximum stack size for an individual thread to ⟨size⟩ bytes. If the thread attempts to exceed this limit, it will be sent the StackOverflow exception. The limit can be disabled entirely by specifying a size of zero. This option is there mainly to stop the program eating up all the available memory in the machine if it gets into an infinite loop.

но если 2 процесса запустить, то всё зависнет

но если 2 процесса запустить, то всё зависнет

засвопится

но если нужно столько стека процессу, то это странно

но если нужно столько стека процессу, то это странно

всего лишь параллельная компиляция

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

компиляция врятли стек ест

там скорее надо будет хип ограничивать..

@cblp_su или я не понял твоего комментария?

нет, я это я перепутал стэк с хипом

Здесь нет переполнения стека

есть, ващет

а ок

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

и он думает, что проблема со стеком

в общем неудачный foldr как раз на stackoverflow помрёт

Spock для работы с формами использует какие-то digestive-functors, которые, кажется, очень плохо поддерживаются