Да сваггер кажется ок, когда начинаешь. Но потом поддерживать это все тяжко. Хочется чего-нибудь полегче

я руками делал

Да сваггер кажется ок, когда начинаешь. Но потом поддерживать это все тяжко. Хочется чего-нибудь полегче

В чем сложность ?

Всякие нестед обьекты описывать нельзя, насколько я помню.

Всякие нестед обьекты описывать нельзя, насколько я помню.

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

Нестед объекты в рест апи? А можно пример?

Всякие нестед обьекты описывать нельзя, насколько я помню.

всё там с этим норм

http://slides.com/richardwhaling/scala-native-web

свершилось походу

Прочёл я вчерашний срач с Павлом. будто в голове насрано теперь.

http://slides.com/richardwhaling/scala-native-web

https://github.com/rwhaling/dinosaur

вот этот "фреймворк" для веб приложений на нейтив

но зачем cgi (

Прочёл я вчерашний срач с Павлом. будто в голове насрано теперь.

А чо там было, если коротко.

Скала сложна, я молодец

это в го чатике?

но зачем cgi (

перфоманс говно кстати https://www.spantree.net/blog/2017/08/29/bootstrapping-web-scala-native.html медленнее чем нода

ну потому что он сделал странную вещь

можно было бы просто взять epoll и вокруг него написать сервер

Ага. При том, судя по аргументации, он реально в достаточной мере не разбирается и в го тоже

и это было бы быстрее, чем cgi

можно было бы просто взять epoll и вокруг него написать сервер

моноплатформенный

моноплатформенный

Те кто запускают сервера на винде должны умереть

Те кто запускают сервера на винде должны умереть

а на BSD?

или там иллюмос какой

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

Там везде своё что-то

Хотя вроде да, гугл говорит, везде есть еполл

Да и в венде есть, вроде

да? а нетти вот не знает об этом

Ну сигвин ж есть )

Да и зачем нетти делать чтот под винду, когда и с нио нормально жить можно

На бзде kqueue

Это как еполл, только апи другой

кстати , у меня айпед умер после сотой страницы тапла

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

На бзде kqueue

ну там и epoll есть

Хм, погуглил, и вправду есть

Но предполагаю что это относится к эмулятору линукса

А не к изкоробочным возможностям бзди

Ну я про фряху, остальные не трогал

Мож и не так

под виндой есть линукс подсистема

ну и докеры

линукс подсистема не для прода она в быту даже тяжела а докер это уже не винда, а поверх виртуализации

гипервизор, все дела

линукс подсистема не для прода она в быту даже тяжела а докер это уже не винда, а поверх виртуализации

но ты прав

для страждущих http://www.cse.chalmers.se/research/group/logic/book/

для страждущих http://www.cse.chalmers.se/research/group/logic/book/

Как идёт?

Интересно, насколько тяжёлая книга.

только нашел, не читал

90й год?

А в теории категории, что-то поменялось после ?

А в теории категории, что-то поменялось после ?

А это не про теоркат

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

Господа, я понимаю что теоркат по понедельника греет душу. Но я тут оказался по ту сторону китайскойго фаервола, мож кто подскажет зеркала для мавена

а то все что нахожу еле работает

Наверняка если просто взять книженцию про coq сравнительно современную

Или если уж нам нужен чистый Мартин-Лёф, то про agda

Ну вот... Лёф не нужен =(

А что еще есть с завтипами кроме идриса относительно популярного?

А Милевски или как его там

Нужен, конечно. Но это ж дохаскельная книга. Я верю, что там офигенно про ML type theory но не про ML language family

А Милевски или как его там

А вот это как раз теоркат

А что еще есть с завтипами кроме идриса относительно популярного?

Из языков же agda самая мартинлёфная

Но вообще, у меня во времена, когда завтип чатик был классный, сложилось мнение, что теория типов развивается последние годы не медленнее, чем Machine Learning

Так что ML + ML > ML

Но вообще, у меня во времена, когда завтип чатик был классный, сложилось мнение, что теория типов развивается последние годы не медленнее, чем Machine Learning

Ссылку

Ссылку

ой да ладно сто раз мелькала же Invite link: https://t.me/joinchat/AAAAAD9SWO_tLd7rJ9S7Ig

ой да ладно сто раз мелькала же Invite link: https://t.me/joinchat/AAAAAD9SWO_tLd7rJ9S7Ig

Я не весь ж чат читаю

всем привет

посоны ваще скалята, кто-нибудь работал с https://www.confluent.io ?

Народ, может кто-нть подскажет как правильно выключать akka-streams в тестах. Сейчас при тестировании akka-streams у нас гасится ActorSystem в конце теста и стимы ругаются: 2017-10-02 10:47:11,011 ERROR [akka.stream.Materializer] [RemoveTablesSpec-akka.actor.default-dispatcher-3] [LobbyMessageStream.journal] Upstream failed. akka.stream.AbruptTerminationException: Processor actor [Actor[akka://RemoveTablesSpec/user/StreamSupervisor-0/flow-3-1-unnamed#2089955061]] terminated abruptly 2017-10-02 10:47:11,013 ERROR [akka.stream.Materializer] [RemoveTablesSpec-akka.actor.default-dispatcher-3] [LobbyMessageStream.calculateState] Upstream failed. akka.stream.AbruptTerminationException: Processor actor [Actor[akka://RemoveTablesSpec/user/StreamSupervisor-0/flow-3-1-unnamed#2089955061]] terminated abruptly 2017-10-02 10:47:11,014 ERROR [akka.stream.Materializer] [RemoveTablesSpec-akka.actor.default-dispatcher-3] [LobbyMessageStream.extactState] Upstream failed. Сильно захламляет логи ?

А стрим то завершился?

Судя по всему нет

посоны ваще скалята, кто-нибудь работал с https://www.confluent.io ?

Витю спроси. Н

Судя по всему нет

Знать бы как их завершить... Может есть что-то в тестките для стримов?

Ну я просто не знаю что ты тестишь )

Можешь пример теста кинуть, без всякой специфики

Создается Source, передается во внут. логику. Проверятся, что в синке есть сообщения

Обычно если стрим не бесконечный и материализцется во Future[Done], то можно все ассертить после завершения фьючи

Создается Source, передается во внут. логику. Проверятся, что в синке есть сообщения

В какой момент проверяется?

val fseq = Source.single(1).runWith(Sink.seq) fseq.futureValue shouldBe Seq(1)

например

тут однозначно стрим завершен

Общий сценарий такой: val stubSources = Source.fromIterator(() => testCmds.iterator) val probe = TestProbe.apply("test-probe") val sink: Sink[Cmd, NotUsed] = Sink.actorRef(probe.testActor, PoisonPill) val logicToTest: SomeInternalLogic = SomeInternalLogic(stubSources, sink) val output = probe.receiveN(2, 15.seconds) probe.expectNoMsg(3.seconds) output must have size 2 /* A lot of other matchers but no more work with streams */

А нужен ли тут probe?

зачем на уровень акторов опускаться?

какой тип у logicToTest ?

К сожалению да, иначе не получить выходные сообщения. SomeInternalLogic() не умеет материализовывать sink Поэтому не получится использовать Sink.queue(…)

какой тип у logicToTest ?

val logicToTest: SomeInternalLogic = SomeInternalLogic(stubSources, sink)

а

Хз тогда как тут отловить завершение стрима

блэкбокс какой то получается

akka.stream.testkit можно попробовать заюзать