Size: a a a

2021 April 07

LL

Lama Lover in pro.elixir
Надо бы объявить какой-нибудь @impl true если это поведение Plug
Или просто спеку написать, которая укажет что @spec call(Plug.Conn.t(), error()) :: Plug.Conn.t()
источник

ŹR

Źmićer Rubinštejn in pro.elixir
Надо написать спеку на call а потом смотреть где ругается - на неё или после
источник

ŹR

Źmićer Rubinštejn in pro.elixir
Может ты реально где-то вызываешь fallback вместо conn передаёшь атом
источник

ŹR

Źmićer Rubinštejn in pro.elixir
Не из башки же он это берет
источник

ŹR

Źmićer Rubinštejn in pro.elixir
Кстати не исключено что спеки в фениксе кривые. Я засылал пару PR чисто на спеки пару лет назад
источник

Е

Евгений in pro.elixir
Ага. Проблема в том, что диалайзер может ругаться даже если с кодом все идеально, но где-то там далеко кривые спеки.
источник

Е

Евгений in pro.elixir
Но он и правда всегда прав, как пишут в доках. Всегда находится формальная причина для ругани.
источник

DR

Dmitry Russ (Aleksan... in pro.elixir
Ничего не меняется - ошибка та же.
источник

DR

Dmitry Russ (Aleksan... in pro.elixir
Убрать unrelated code - ошибка исчезает, добавляешь - появляется.
источник

B

Bogdan in pro.elixir
 Mix.Task.run("loadconfig”) 
 - как попросить dev.exs загрузить таким же образом?
источник

DR

Dmitry Russ (Aleksan... in pro.elixir
Написал спеку - ничего не меняется - как будто он просто spec-у игнорирует
источник

DR

Dmitry Russ (Aleksan... in pro.elixir
У меня уже был кейс, когда при мне пришлось писать: @dialyzer {:nowarn_function, validate_function: 1}

Потому что dializer не видел (я все последующие спеки проверил) - что функция может вернуть {:ok, …}

И жаловался вот на такое:

 # The pattern can never match the type.
 # Pattern:
 # {:ok, _}

 # Type:
 # {:error, <<_::384>>}
источник

DR

Dmitry Russ (Aleksan... in pro.elixir
Но здесь получится целый модуль или повод избавиться от dialyzer-а
источник

A

Aleksey @cheatex in pro.elixir
А можно вот с этого места поподробнее. Что именно и за чем именно стоит?
источник

A ß in pro.elixir
видимо речь идет про изоморфизм Карри-Говарда
источник

((

(fun () -> ()) in pro.elixir
источник

A

Aleksey @cheatex in pro.elixir
Так так, теперь идёт пример чего то оттуда что стоит за чем то из функционального программирования.
источник

((

(fun () -> ()) in pro.elixir
List - монада
источник

((

(fun () -> ()) in pro.elixir
{:ok, data} тоже отчасти монада result, а оператор with - bind функция
источник

A

Aleksey @cheatex in pro.elixir
Уже неплохо. Так ArrayList<T> тоже "отчасти" монада.
источник