В моей MonadError. И, кстати, тот факт, что это Throwable - нигде в реализации не используется

используется, handleErrorWith

используется, handleErrorWith

да, но там (_ => ), т.е. сработал бы с любым MonadError

да, есть такая проблема

это было сделано из-за того, что filter в обычной фьюче выбрасывает NoSuchElementException, в твиттеровой фьюче ещё какой-то exception Был выбор либо сделать так, либо требовать внешний инстанс с типом ошибки от пользователя

Я по секрету признаюсь, что у лысого есть пару фичей

Которые могли бы стать решающими, и я внезапно начал бы это использовать

И эти фичи - не перфоманс

левый и правый трицепсы? :)

Почти

первый вот такой https://github.com/jdegoes/scalaz/blob/series/8.0.x/effect/shared/src/main/scala/scalaz/effect/Fiber.scala#L36

IO.fork возвращает некий объект, указывающий на "логическую нить", в которой будет крутиться "параллельные вычисления" В любой момент туда можно вбросить эксепшон

Тот процесс этот эксепшон даже может поймать и сделать какой-то ресурс-хэндлинг

В принципе, наверное, это заменяется явным cancellation ом и обработкой ресурсов в мониксе

Но всё равно очень полезная фича для многих паттернов

ну а второй - это, конечно, трицепсы

на самом деле была ещё одна фича, но походу она в блогах осталась у него

Вопрос: чем можно гонять тесты на скале с определенным периодом? и в идеале чтоб веб морда была и эмейлы умел отправлять.

посмотрел на гатлинг - базовая версия ниочень, а не базовая стоит 6к бачей в год

Вопрос: чем можно гонять тесты на скале с определенным периодом? и в идеале чтоб веб морда была и эмейлы умел отправлять.

jenkins ?

jenkins ?

дженкинс так себе интегрирован со скалой. Типо можных примочек и красивого мониторинга не завезли.

Вопрос: чем можно гонять тесты на скале с определенным периодом? и в идеале чтоб веб морда была и эмейлы умел отправлять.

мне кажется тут никакой скала специфики нет. Бери любой инструмент, который умеет по крону запускать джобы.

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

скалатест умеет генерировать junit отчёт

и вот уже дженкинс не так плох

нормальных вариантов нет (в паблике или задаром), даже без относительно скалы, жвм и прочего

Вопрос: чем можно гонять тесты на скале с определенным периодом? и в идеале чтоб веб морда была и эмейлы умел отправлять.

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

профит неблагодари

Вопрос: чем можно гонять тесты на скале с определенным периодом? и в идеале чтоб веб морда была и эмейлы умел отправлять.

teamcity?

профит неблагодари

ок, спс.

jenkins разве не умеет расписание сделать?

умеет

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

походу нет

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

и его допилить можно

из коробки ничего готового нету )

тож думаю, что тока руками собирать по кускам

https://docs.qameta.io/allure/

Со скалой есть интеграция

у алюра бардак в организации и нет регресса (по крайней мере наши тестеры говорили что нет)

Кто-нить использовал alpakka unixdomainsocket ? (чёт он не работает, нет входящих байтиков)

Кто-нибудь юзал akka-http + swagger? У нас на проекте yml файл с простыней кода (1700+ строк). Неужели нет альтернативных вариантов конфигурации?

Кто-нибудь юзал akka-http + swagger? У нас на проекте yml файл с простыней кода (1700+ строк). Неужели нет альтернативных вариантов конфигурации?

я сохраню это сообщение для внутренних целей

я сохраню это сообщение для внутренних целей

Ну не смешно же(

короче, юзали, юзаем, придумали либу типо Haskell Servant, пока опенсорсить не собираемся

очень жаль.

короче, юзали, юзаем, придумали либу типо Haskell Servant, пока опенсорсить не собираемся

вы генерите swagger по типам или типы по сваггеру?

вы генерите swagger по типам или типы по сваггеру?

сваггер по типам и akka http по типам типы first

дсл над дсл?

Я могу высказать непопулярное мнение, но мне кажется что OpenAPI должен идти первым.

дсл над дсл?

тип того

сначала спека - потом реализация

сначала спека - потом реализация

ну вот твоя спека - это тип

Я могу высказать непопулярное мнение, но мне кажется что OpenAPI должен идти первым.

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

тип того

как-то тоже влажно мечтал о таком :)

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

нет же. Спека всегда главней реализаци

и

т.е. сначала пустотелый тип, описывающий дерево операций твоего сервиса

нет же. Спека всегда главней реализаци

а чем типы не спека? тогда уж стандарт first

а чем типы не спека? тогда уж стандарт first

формальная спецификация first, чтобы два раза не вставать)

чем типы не формальная спека?)

в скале — слишком слабы, вообще — вполне себе формальная.

а чем типы не спека? тогда уж стандарт first

ты эти типы дай джависту по соседству или фронтендеру

ну получается вопрос не спеки а стандартов.

ERROR: S client not available

потом две независимые штуки - превратить его в akka http Route и в OpenApi первая может неудасться когда - 1.а) Непонятно, какую в определённый момент привязать директиву к данному узлу твоей спеки (тут мы ищем Directive1 1.б) Нет метода в хэндлере, соответствующего данному листу дерева (тут наш макрос обходит внутренность объекта, связывает его с типом) 1.в) Непонятно, как превратить результат из метода в объявленный в спеке результат (тут мы конвертим монадки) вторая может неудасться когда 2.а) Непонятно, как описать в сваггере данный узел твоей спеки 2.б) Непонятно, как описать в сваггере тип параметра\результата

ты эти типы дай джависту по соседству или фронтендеру

Фронтедеры получают OpenApi они довольны

в скале — слишком слабы, вообще — вполне себе формальная.

Ну достаточно сильны, чтобы нарисовать сваггер

на безрыбье и сваггер сойдет, да.

а какую рыбу ты хотел бы видеть в качестве спеки для веб-сервиса?

в идеальном мире я хотел бы видеть код с доказанными свойствами.

доказанными в спеке?

какие пропозишены в спеке для веб-сервиса ты хотел бы объявлять, чтобы доказывать их?

и самое главное, в каких формализмах?

какая версия теории типов\логики достаточно спеклась, чтобы можно было объявить её стандартом, который могло бы понять подавляющее большинство серверов и клиентов?

нет же. Спека всегда главней реализаци

Но заландо свою погремушку почему-то бросили(

какие пропозишены в спеке для веб-сервиса ты хотел бы объявлять, чтобы доказывать их?

Ну как минимум тотальность всех обработчиков запросов.

Остальные вопросы — это хорошие вопросы)

Олег, а можешь показать пример такого описания рест апи? Ну на вашей либе

Ну как минимум тотальность всех обработчиков запросов.

а спека тут при чём?

Олег, а можешь показать пример такого описания рест апи? Ну на вашей либе

Плюсую. Тоже хоткл бы глянуть

https://gist.github.com/Odomontois/8a33f359c2e580239c5b97143062562b

благодарю

потом две независимые штуки - превратить его в akka http Route и в OpenApi первая может неудасться когда - 1.а) Непонятно, какую в определённый момент привязать директиву к данному узлу твоей спеки (тут мы ищем Directive1 1.б) Нет метода в хэндлере, соответствующего данному листу дерева (тут наш макрос обходит внутренность объекта, связывает его с типом) 1.в) Непонятно, как превратить результат из метода в объявленный в спеке результат (тут мы конвертим монадки) вторая может неудасться когда 2.а) Непонятно, как описать в сваггере данный узел твоей спеки 2.б) Непонятно, как описать в сваггере тип параметра\результата

а эти проблемы выясняются в компайл или рантайм?

а эти проблемы выясняются в компайл или рантайм?

100% компайл

это почти всё имплиситы

только 1.б макрос

?

а какой апи для хедеров?

а какой апи для хедеров?

такой же, как и остальные параметры header[Type](name)

т.е. все хедеры как строки рассматриваем и уже конвертим своими имплиситами, без акковских фишек

и в итоге, метод (хендлер) должен так же принимать этот параметр, верно?

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

если параметр объявлен, но в хендлере его нет - это не ошибка. Обратное - ошибка