Size: a a a

2021 November 05

PK

Petr Kozorezov in ErlangRus
Если я правильно понимаю, что ты хочешь, то можно через пропер такие штуки делать. Используя stateful подход генерировать поднятие/опускание нод и сетевые проблемы.
Вот тут такой подход применён
https://github.com/petrkozorezov/raft_server/blob/master/test/property_test/raft_server_pt.erl
источник

V

Vasilii Demidenok in ErlangRus
довольно трудоёмко просто, но для либ вроде такой вполне оправданно
источник

V

Vasilii Demidenok in ErlangRus
Я вот пытаюсь открутить намертво прибитую HA часть в текущем проекте чтобы делать такую же штуку, чтобы не было необходимости поднимать всю систему целиком. Когда начинаешь с таким подходом дело идёт гораздо проще.
источник

PK

Petr Kozorezov in ErlangRus
Да, это хороший подход.
источник

JM

Jonn Mostovoy in ErlangRus
спс, будем смотреть!
источник

PK

Petr Kozorezov in ErlangRus
Будут вопросы - пиши сразу в личку, поясню.
источник

A ß in ErlangRus
мейк
источник

V

Vasilii Demidenok in ErlangRus
ага, расскажи мне про это
источник

W

Wild_Wind in ErlangRus
+
источник

SP

Sergey Prokhorov in ErlangRus
там вон OTP team интересуется мнением сообщества по поводу нового синтаксиса
https://erlangforums.com/t/eep-49-value-based-error-handling-mechanisms/469
источник

ML

Maksim Lapshin in ErlangRus
круть, спасибо!
источник

SP

Sergey Prokhorov in ErlangRus
не пойму только...
Input = {ok, 1, 2},
maybe
  {ok, A, B} ?= Input,
  {ok, B, C} ?= {ok, 1, B},
 C
else
 Other ->
     ...
end.
я так понял в Other будет {ok, 1, 2}? Как мне понять что оно не сматчилось на втором а не первом ?=? Или я не так понимаю юзкейс?
источник

ML

Maksim Lapshin in ErlangRus
а я задал там вопрос про эту maybe.  Если там не будет функции управления, то получится единственный способ связать эти функции одну за другой
источник

VS

Vladimir Sekisov in ErlangRus
Никак, with в elexir имеет такую же семантику и если мне надо отличать там кейсы,
я просто тегирую их атомами,
которые ловлю в else
источник

𝕊

𝕊𝕖𝕣𝕘𝕖𝕚... in ErlangRus
Контринтуитивная конструкция. Но это не проблема. Жизнь не облегчит, если нужен различный клинап — всё равно придётся огород городить
источник

PK

Petr Kozorezov in ErlangRus
Да-да-да у меня тоже к этому вопрос. Придётся тегировать атома и, что довольно страшненько невыразительно смотрится. 😕
источник

V

Vasilii Demidenok in ErlangRus
ну так потому что это для того чтобы получить условно ok или error не?
источник

SP

Sergey Prokhorov in ErlangRus
типа
maybe
  {a, {ok, A, B}} ?= {a, Input},
  {b, {ok, B, C}} ?= {b, {ok, 1, B}}
  C
else ...
источник

PK

Petr Kozorezov in ErlangRus
От всех проблем не избавит, но большую часть решит. А именно стандартную лапшу case'ов.
источник

V

Vasilii Demidenok in ErlangRus
т.е. тебе не важно на каком месте ты прекратил
источник