ну нет , я не против получить кровавый опыт

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

А какой дизайн неудачный оказался?

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

А какой дизайн неудачный оказался?

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

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

метрики наше все

метрики наше все

что взял для метрик кстати?

tsdb grafana

а что для отсылки и сбора взял? камон?

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

сначала сливал акккой хттп, потом заюзал scalaj

Камон пользуй

Для акки есть даже у них интерфейс

Камон пользуй

все будет , пока текущую инфраструктуру использую , все сразу хорошо не делается

Камон пользуй

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

но метрики работают оч хорошо

все будет , пока текущую инфраструктуру использую , все сразу хорошо не делается

смотри какая там еще штука есть http://kamon.io/documentation/kamon-akka/0.6.6/ask-pattern-timeout-warning/

я видел

но у меня нет ни одного аска

аск не нужн

да у тебя шикарный дизайн

да у тебя шикарный дизайн

ужасный на самом деле :( ,но я уже знаю что исправлять , чтобы было лучше

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

это ведь аггрегированные данные у тебя? в любом случае не лучшая стратегия для нагруженного сервиса. для начала можно сделать примерно так: def receive = { if( сейчас-новая-секунда ) ( шедулим отправку буфера асинком и заменяем новым ) иначе ( аггрегируем в текущий буфер ) } + раз в 10-30 секунд или даже в минуту, можно проверять на всякий случай - если долго не было новых записей, которые бы сбросили буфер - вручную запускать ту же процедуру очистки буфера и шедула отправки

если сервис у тебя не простаивает - новые записи сами постоянно будут в нужное время отщелкивать буфер без задержек и не будешь нагружать дополнительной ерундой и без того нагруженную ерунду. такие принципы много где можно применять

это ведь аггрегированные данные у тебя? в любом случае не лучшая стратегия для нагруженного сервиса. для начала можно сделать примерно так: def receive = { if( сейчас-новая-секунда ) ( шедулим отправку буфера асинком и заменяем новым ) иначе ( аггрегируем в текущий буфер ) } + раз в 10-30 секунд или даже в минуту, можно проверять на всякий случай - если долго не было новых записей, которые бы сбросили буфер - вручную запускать ту же процедуру очистки буфера и шедула отправки

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

если сервис у тебя не простаивает - новые записи сами постоянно будут в нужное время отщелкивать буфер без задержек и не будешь нагружать дополнительной ерундой и без того нагруженную ерунду. такие принципы много где можно применять

но спасибо , очень полезно мне будет

собственно так и сделано в других либах с метриками

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

единственное , что у меня не вышло , это artery из под докера , ноя хочу закончить с фичами и работать над надёжностью , к сожалению ddd это не оч для качества проекта

я пока и не пробовал артери, тоже фичи важнее

@optician_owl @odomontois я смотрю вы там уже обосновались)

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

хотя раст не очень подходит сейчас для того, чтобы я хотел но надеюсь допилят

А для чего ты его хочешь?

математика

Хм

ну как, подходит, но весьма неудобно еще)

Для математики любой язык подходит

Смотря какая математика :)

Она же очень разная бывает.

Для теории типов одни языки (Idris etc.), для логики другие (miniKanren?), для линейной алгебры что-нибудь третье (наверное, что-то для GPU?). Ну и есть языки, которые более-менее умеют то и другое, и есть биндинги ко всему остальному.

Рантаим эт дело третье)

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

http://lex-kravetski.livejournal.com/577235.html

Похоже на продолжение его доклада с прошлогоднего митапа

скаланы подскажите как дружить с фриманатками

почему не for!

это интерпритатор на котах

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

нууууу, типо без asInstanceOf идея не схавает да?

наркот

если кастануть, то пойдет, конечно, но вот звучит это странно "навернуть фримонад и потом заюзать ансейф каст"

ну этож на интерпре :)

https://www.youtube.com/watch?v=t2WTtIwgdLc

прикольный спикер)

ну вообще да выглядит так се

ну вообще идея как бы права, с точки зрения типов это выглядит так се

да и в доке по котам такая же какаха

лол

тайпсейф!

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

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

После матчинга не страшно делать такое

scalac не ругается

так что идею думаю можно "обмануть"

ERROR: S client not available

После матчинга не страшно делать такое

патмат не является универсальным доказательстом чего угодно (в смысле, на уровне типов) и вообще там куча проверок "на дурака" в виде isInstanceOf

так что идею думаю можно "обмануть"

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

ну это то понятно, прост не эстетично

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

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

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

так что идею думаю можно "обмануть"

trait Eq[T,T2] implicit def eqImpl[T]:Eq[T,T] = null.asInstanceOf[Eq[T,T]] def safe[T,V](value:V)(implicit eq:Eq[T,V]):T = value.asInstanceOf[T] не прокатит такой сейфкаст для идеи?

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

у сейфа не над имплисит. его явно вместо asInstanceOf просто вызвать

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

хотя не, похоже не прокатит для идеи. но где-то я подобный трюк проводил успешно

или он был слегка видоизмененный, не помню уже)

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

ну тоже не оч красиво выходит, хотелось бы как нить избежать asInstanceOf

лан что нить придумаю

ну тоже не оч красиво выходит, хотелось бы как нить избежать asInstanceOf

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

патмат не является универсальным доказательстом чего угодно (в смысле, на уровне типов) и вообще там куча проверок "на дурака" в виде isInstanceOf

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

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

и как же? trait A trait B def foo(a: A): B = ???

и как же? trait A trait B def foo(a: A): B = ???

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

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

ну я про то, что "сигнатура функции — теорема, а её реализация — доказательство"

ну я про то, что "сигнатура функции — теорема, а её реализация — доказательство"

да, вот про это

одним патматом афаик нельзя доказать, что несвязанные типы A и B равны

одним патматом афаик нельзя доказать, что несвязанные типы A и B равны

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

собственно в спиннете выше вместо ??? было бы интересно увидеть пример (non-exhaustive не считается)

собственно в спиннете выше вместо ??? было бы интересно увидеть пример (non-exhaustive не считается)

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

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

я тут понял половину слов только /=

если доказательство может стать невалидным от его расширения

зависимым патматом можно да

with в идрисе

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

что поменять надо?

вообще a.asInstanceOf[B] — вполне себе доказательство или мы вообще о разном говорим)