Дизайн немного переделать )

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

Дизайн немного переделать )

Это да, но на данном этапе проекта времени на это нет ?

тут как я понимаю он происходит в момент создания SomeInternalLogic

да

Это да, но на данном этапе проекта времени на это нет ?

*sigh*

https://github.com/akka/akka-persistence-cassandra/blob/master/core/src/test/scala/akka/persistence/cassandra/query/EventsByTagSpec.scala#L266 вот пример TestSinkа и ассертов по нему

да

ну это же самое простое, если параметрировать его по Mat

https://github.com/akka/akka-persistence-cassandra/blob/master/core/src/test/scala/akka/persistence/cassandra/query/EventsByTagSpec.scala#L266 вот пример TestSinkа и ассертов по нему

Not bad

свежие книги по Scala на русском #book http://dmkpress.com/catalog/computer/programming/functional/978-5-97060-536-3/ http://dmkpress.com/catalog/computer/programming/functional/978-5-97060-572-1/ https://www.piter.com/collection/soon/product/scala-professionalnoe-programmirovanie

имхо, лучший совет для начинающих, не только в Scala, научиться читать книги на Английском

читать переводы в bleeding edge экосистемах, это какбы днище

у нас тут не .net

свежие книги по Scala на русском #book http://dmkpress.com/catalog/computer/programming/functional/978-5-97060-536-3/ http://dmkpress.com/catalog/computer/programming/functional/978-5-97060-572-1/ https://www.piter.com/collection/soon/product/scala-professionalnoe-programmirovanie

настолько нетерпеливых, что ждали перевода года 4 ?

а кто-нибудь пояснит мне за event sourcing? на инфраструктурном слое это всегда последовательность событий для сущности? или можно, например, хранить сущность "как есть", а события разворачивать при сохранении сущности в репозиторий и вести лог событий отдельно только для отчетности?

у нас тут не .net

у нас тут .ty

а кто-нибудь пояснит мне за event sourcing? на инфраструктурном слое это всегда последовательность событий для сущности? или можно, например, хранить сущность "как есть", а события разворачивать при сохранении сущности в репозиторий и вести лог событий отдельно только для отчетности?

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

вы можете сделать cqrs, и с одной стороны принимать события и накатывать их на стейт, допустим где-то в эластике

а с другой стороны читать этот стейт

тут вопрос насколько консистентными вы хотите быть

> а кто-нибудь пояснит мне за event sourcing? старайтесь избегать по возможности ?

имхо, лучший совет для начинающих, не только в Scala, научиться читать книги на Английском

никто не спорит, что можно на английском читать оригинал но наличие переводных книг думаю вполне ок - на родном языке читать все равно приятнее

никто не спорит, что можно на английском читать оригинал но наличие переводных книг думаю вполне ок - на родном языке читать все равно приятнее

а потом приходишь такой, а тебе говорят что cake-pattern зло, ломая мирок который ты себе строил из-за книги

никто не спорит, что можно на английском читать оригинал но наличие переводных книг думаю вполне ок - на родном языке читать все равно приятнее

Приятное ощущение читать что-то, что уже не актуально

/toxic

а потом приходишь такой, а тебе говорят что cake-pattern зло, ломая мирок который ты себе строил из-за книги

паттерн торта

никто не спорит, что можно на английском читать оригинал но наличие переводных книг думаю вполне ок - на родном языке читать все равно приятнее

особенно когда переводчик не в контексте и переводит странными терминами )

)

ну все все закидали какахами человека =) слишком мы токсичные

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

так это вторая часть

"второе издание" ты хотел сказать?

ну все все закидали какахами человека =) слишком мы токсичные

понедельник же!

ага

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

а кто-нибудь пояснит мне за event sourcing? на инфраструктурном слое это всегда последовательность событий для сущности? или можно, например, хранить сущность "как есть", а события разворачивать при сохранении сущности в репозиторий и вести лог событий отдельно только для отчетности?

То что ты описываешь называется audit log. event sourcing предлагает не хранить текущий стейт, а использовать audit log для воссоздания состояния для принятия решений.

> значит они должны были выпилить разделы про кейк-паттерн и про акторы в скале, по идее (хотелось бы верить) это уже не выпилить!

Приятное ощущение читать что-то, что уже не актуально

ну так в scala jobs чате требуется старый angular 1.6 ) вот интересно, scala там тоже старая или новая (2.12 ?)

То что ты описываешь называется audit log. event sourcing предлагает не хранить текущий стейт, а использовать audit log для воссоздания состояния для принятия решений.

это позволяет использовать распределенные key-value хранилища для лога

без транзакций

То что ты описываешь называется audit log. event sourcing предлагает не хранить текущий стейт, а использовать audit log для воссоздания состояния для принятия решений.

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

+

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

снепшоты это средство оптимизации времени восстановления

снепшоты это средство оптимизации времени восстановления

да, это очевидно

читать переводы в bleeding edge экосистемах, это какбы днище

неофита почитать и нормич

а потом приходишь такой, а тебе говорят что cake-pattern зло, ломая мирок который ты себе строил из-за книги

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

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

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

Ну если хранилище позволяет атомарно сохранить и стейт и что-то в аудит-лог - то пожалуйста.

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

Если есть “мощный” оверхед - значит оно вам и не надо

вы можете сделать cqrs, и с одной стороны принимать события и накатывать их на стейт, допустим где-то в эластике

вот это мне и нужно, накатывать события на стейт. но изменение состояния сущности у меня возможно только в рамках бизнес действий (которые вообще должны быть транзакционны). по сути вся моя сущность - это write model.

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

Выглядит как CRUD с логгированием Но не как что-то для чего нужен Event Sourcing

Выглядит как CRUD с логгированием Но не как что-то для чего нужен Event Sourcing

crud бесполезен с точки бизнес-логики. Про es понял, он действительно мне не нужен

Народ вопрос - очень надо парсить xml для scalajs(и не только) scala-xml - будет поддерживать scalajs только в след версии(1.1.0) которая похоже не раньше нового года выйдет причем собирал даже отсюда https://github.com/ashawley/scala-xml/tree/version-1.1.0 - все равно хочет javax.xml.parsers.SAXParserFactory вот думаю какие еще есть варианты попарсить кросплатформенно xml пока нагуглил что fastparse может , но это не выглядит как поддерживающий scalajs https://github.com/lihaoyi/fastparse/blob/master/scalaparse/shared/src/main/scala/scalaparse/Xml.scala можно ли сделать с помощью scala-parser-combinators или это будет оверкилом?

Народ вопрос - очень надо парсить xml для scalajs(и не только) scala-xml - будет поддерживать scalajs только в след версии(1.1.0) которая похоже не раньше нового года выйдет причем собирал даже отсюда https://github.com/ashawley/scala-xml/tree/version-1.1.0 - все равно хочет javax.xml.parsers.SAXParserFactory вот думаю какие еще есть варианты попарсить кросплатформенно xml пока нагуглил что fastparse может , но это не выглядит как поддерживающий scalajs https://github.com/lihaoyi/fastparse/blob/master/scalaparse/shared/src/main/scala/scalaparse/Xml.scala можно ли сделать с помощью scala-parser-combinators или это будет оверкилом?

Вроде в фастпарс ты скинул шареный кусок кода, он должен в scalajs работатьь

меня смутило отсутвие папки js/src ок спасибо попробую ее

shared - это шареный между js/jvm код

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

Coq, Agda, Lean

из популярных пруверов без завтипов, но с равномощной системой (higher-order logic) - Isabelle

Coq, Agda, Lean

Есть смысл с кем-то из них разбираться, если уже начал тыркать идрис? Уверен, что не понимаю прикладной разницы.

смотря какая цель :)

агда самая близкая к идрису по духу

кок самый зрелый

лин говорят удобно зделоли

что такое лин

https://leanprover.github.io/

что про fstar говорят?

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

близкая тема, но немного другое

Есть смысл с кем-то из них разбираться, если уже начал тыркать идрис? Уверен, что не понимаю прикладной разницы.

по коку много док и там пруф асистант же

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

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

а что приходилось на практике доказывать?

да я выводил типы гетерогенных структур ?)

примитив

в идрисо канале жоские рибята вот

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

Вот да, я в этих темах 0. Для начала понять бы что можно доказывать. Интересно особенно в контексте автогенерации аналогичных программ, но с другими свойствами (например, оптимизации производительности). И в контексте применимости к распределенным системам (что-то вроде формальной верификации, у Лампорта есть подобное по цели)

для распределенного я видел https://github.com/Microsoft/Ironclad (Dafny/C#) http://verdi.uwplse.org/ (Coq/OCaml) https://github.com/mit-plv/chapar (Coq/OCaml)

для распределенного я видел https://github.com/Microsoft/Ironclad (Dafny/C#) http://verdi.uwplse.org/ (Coq/OCaml) https://github.com/mit-plv/chapar (Coq/OCaml)

Спасибо!

про автогенерацию наверное надо смотреть в сторону datatype-generic тем - индексированные функторы, AoP, работы Диля, Магальяэса, Алле, вот это всё

Привет, скалачат! Который раз уже пытаюсь написать имплисит класс, который расширял бы одновременно и Source и Flow, из акки, и до сих пор не вышло. Первоначально пробовал через FlowOpsMat, но понял что теряется исходный тип, тем более он там path-dependent, и далее работать с результатом не очень удобно, кроме того у Flow 3 параметра, у Source 2, в общем, имплисит у меня выходит либо только для одного, либо для другого. По отдельности, естественно, никаких проблем. Поделитесь знанием, как это сделать, если такое вообще возможно?

Привет, скалачат! Который раз уже пытаюсь написать имплисит класс, который расширял бы одновременно и Source и Flow, из акки, и до сих пор не вышло. Первоначально пробовал через FlowOpsMat, но понял что теряется исходный тип, тем более он там path-dependent, и далее работать с результатом не очень удобно, кроме того у Flow 3 параметра, у Source 2, в общем, имплисит у меня выходит либо только для одного, либо для другого. По отдельности, естественно, никаких проблем. Поделитесь знанием, как это сделать, если такое вообще возможно?

typeclass

Можешь прям взять simulacrum и вперёд

вот еще кстати про моделирование распределенного, только не на завтипах, а на линейной логике https://web2.qatar.cmu.edu/iliano/projects/metaCLF/

про автогенерацию наверное надо смотреть в сторону datatype-generic тем - индексированные функторы, AoP, работы Диля, Магальяэса, Алле, вот это всё

А с помощью зав. типов чего-нибудь интересного в этой области удалось добиться?

Я так понимаю, всякие индексированные штуки как минимум с помощью зависимого можно.

это наверное лучше в том чатике спросить, я только пачку статей могу дать

это наверное лучше в том чатике спросить, я только пачку статей могу дать

Можно и статей. Я парочку в heding cats нашёл вводных, хочу ещё чего-нибудь докинуть.

typeclass

Спасибо, давно уже что-то видел на эту тему, видимо, пришло время разобраться :)