SM
Если это opaque-тип, то матчить его в
%MapSet{} неправильно уже по смыслу.MapSet по хорошему должен предоставлять guard, но увыSize: a a a
2020 November 12
SM
Е
MapSet по хорошему должен предоставлять guard, но увыА что делать? Есть способ заставить заткнуться диалайзер именно в этом месте?
N|
Поможите, люди добрые.
defmodule Foo do
@spec foo(MapSet.t() | integer()) :: integer()
def foo(value) do
case value do
%MapSet{} -> MapSet.size(value)
n when is_integer(n) -> n + 1
end
end
end
поменяй case clauses местами и замени %MapSet{} на _. тогда у тебя первым по приоритету будет тайпматч на инт, а если он зафейлился — то это скорее всего MapSet
SM
Если хочешь, чтобы это проверял dialyzer, то только через указание типа как
%MapSet{}. Либо просто не проверяем opaque-тип:defmodule Foo do
@spec foo(MapSet.t() | integer()) :: integer()
def foo(n) when is_integer(n), do: n
def foo(set), do: MapSet.size(set)
endЕ
Если хочешь, чтобы это проверял dialyzer, то только через указание типа как
%MapSet{}. Либо просто не проверяем opaque-тип:defmodule Foo do
@spec foo(MapSet.t() | integer()) :: integer()
def foo(n) when is_integer(n), do: n
def foo(set), do: MapSet.size(set)
endПечально
Е
поменяй case clauses местами и замени %MapSet{} на _. тогда у тебя первым по приоритету будет тайпматч на инт, а если он зафейлился — то это скорее всего MapSet
Это синтетический пример.
Тупо мапсет на последнюю позицию ставить только.
Тупо мапсет на последнюю позицию ставить только.
N|
Это синтетический пример.
Тупо мапсет на последнюю позицию ставить только.
Тупо мапсет на последнюю позицию ставить только.
ну, это же opaque тип, поэтому инспектировать его такими клозами нельзя, поскольку тебе как бы не известна внутренняя структура этого мапсета)
Е
ну, это же opaque тип, поэтому инспектировать его такими клозами нельзя, поскольку тебе как бы не известна внутренняя структура этого мапсета)
Это я понял, но других средств, увы нет, насколько я понял.
X
И почему вы все не ходите на митапы по эликсиру
Не осилил
RK
для чего именно LightStep?
У нас в компании для трейсинга в контексте кучи микросервисов используется. Для Go и Python есть готовые либы. А вот чтобы elixir продвинуть надо подружить его с lightstep.
RK
Написал им в поддержку, посмотрю что ответят))
RK
Написал им в поддержку, посмотрю что ответят))
Ответили - используй либы для OpenTelemetry))
2020 November 13
AB
а вы знали, что Феникс написали в Сбере? )))
DG
кстати отличная книжка про всякий devops в виде художественного произведения
AB
кстати отличная книжка про всякий devops в виде художественного произведения
пятничка. тринадцатое. я немножечко шалю, шуткую
V
Котаны, кто может подсказать по RabbitMQ?
Наблюдаю такую картину (всего эрланговских процессов штук 40-50). Есть подозрение что это неоправданно много.
От чего зависит количество эрланговских процессов рэббита?
Наблюдаю такую картину (всего эрланговских процессов штук 40-50). Есть подозрение что это неоправданно много.
От чего зависит количество эрланговских процессов рэббита?
AB
V
Котаны, кто может подсказать по RabbitMQ?
Наблюдаю такую картину (всего эрланговских процессов штук 40-50). Есть подозрение что это неоправданно много.
От чего зависит количество эрланговских процессов рэббита?
Наблюдаю такую картину (всего эрланговских процессов штук 40-50). Есть подозрение что это неоправданно много.
От чего зависит количество эрланговских процессов рэббита?
Это треды
V
Это треды
Ок. Я решил что это процессы из-за разных пидов, но мог и ошибиться.
LL
Это треды
Ну тредов на одной ноде вроде по дефолту столько же сколько и параллельных потоков способен обработать процессор, разве нет?