ŹR
Я считаю что пофик какая типизация
Size: a a a
2020 July 24
ŹR
Поэтому страдания по поводу отсутствия одной из них у меня вызывают недоумение
Е
Я считаю что пофик какая типизация
Диалайзером не пользуешься?
Е
Поэтому страдания по поводу отсутствия одной из них у меня вызывают недоумение
Статическая типизация отсеивает часть ошибок, которые в случае динамической вылезут только в рантайме.
Е
Причем особое западло, когда оно вылезает в каком-нибудь относительно редком бранче. Вроде все работает, уже домой ушел и хуяк, упало.
Е
что-нибудь вроде:
а надо было:
статически типизированный язык сразу тебе сообщит о косяке и без всякого диалайзера.
{a, b, c} = foo()а надо было:
{a, b, c, _} = foo()статически типизированный язык сразу тебе сообщит о косяке и без всякого диалайзера.
D
elixir-ls в vscode тоже сразу сообщает если что не так (автоматом через dialixir)
Е
elixir-ls в vscode тоже сразу сообщает если что не так (автоматом через dialixir)
смотри выше, диалайзер лажает
Е
Ладно, ничего не поделашь, пойду страдать. Хоть часть ошибок типизации он покосит. Лучше, чем ничего.
D
Ладно, ничего не поделашь, пойду страдать. Хоть часть ошибок типизации он покосит. Лучше, чем ничего.
сейчас попробовал сделать без nil
тут же появился warning на спеке:
Th
defmodule Foo do
@spec inc(a :: integer()) :: integer()
def inc(nil), do: nil
def inc(a), do: {a + 1, a + 2}
end
тут же появился warning на спеке:
Th
e @spec for the function does not match the success typing of the function.то есть не надо писать вариант с ... | nil оно итак предполагает nil
Function:
Foo.inc/1
Success typing:
@spec inc(nil | number()) :: nil | {number(), number()}
ŹR
сейчас попробовал сделать без nil
тут же появился warning на спеке:
Th
defmodule Foo do
@spec inc(a :: integer()) :: integer()
def inc(nil), do: nil
def inc(a), do: {a + 1, a + 2}
end
тут же появился warning на спеке:
Th
e @spec for the function does not match the success typing of the function.то есть не надо писать вариант с ... | nil оно итак предполагает nil
Function:
Foo.inc/1
Success typing:
@spec inc(nil | number()) :: nil | {number(), number()}
WAT?
Е
сейчас попробовал сделать без nil
тут же появился warning на спеке:
Th
defmodule Foo do
@spec inc(a :: integer()) :: integer()
def inc(nil), do: nil
def inc(a), do: {a + 1, a + 2}
end
тут же появился warning на спеке:
Th
e @spec for the function does not match the success typing of the function.то есть не надо писать вариант с ... | nil оно итак предполагает nil
Function:
Foo.inc/1
Success typing:
@spec inc(nil | number()) :: nil | {number(), number()}
Да ничего он не предполагает, это тупо бага. nil - это атом, вместо него может быть что угодно.
defmodule Foo do
@spec inc(a :: integer() | :error) :: integer() | :error
def inc(:error), do: :error
def inc(a), do: {a + 1, a + 2}
end
Е
никаких ошибок не пишет
D
Да ничего он не предполагает, это тупо бага. nil - это атом, вместо него может быть что угодно.
defmodule Foo do
@spec inc(a :: integer() | :error) :: integer() | :error
def inc(:error), do: :error
def inc(a), do: {a + 1, a + 2}
end
у меня пишет
D
на вариант с :error
D
Success typing:
@spec inc(nil | number()) :: nil | {number(), number()}
@spec inc(nil | number()) :: nil | {number(), number()}
D
у меня
elixir -v
Erlang/OTP 23 [erts-11.0.2] [source] [64-bit] [smp:12:12] [ds:12:12:10] [async-threads:1] [hipe] [dtrace]
Elixir 1.10.4 (compiled with Erlang/OTP 23)
Е
у меня пишет
вот это уже интересно, так как у меня никаких ошибок вот на это нет:
defmodule Foo do
@spec inc(a :: integer() | :error) :: integer() | :error
def inc(:error), do: :error
def inc(a), do: {a + 1, a + 2}
end
Е
у меня
elixir -v
Erlang/OTP 23 [erts-11.0.2] [source] [64-bit] [smp:12:12] [ds:12:12:10] [async-threads:1] [hipe] [dtrace]
Elixir 1.10.4 (compiled with Erlang/OTP 23)
Полагаю, версия эрланга и эликсира тут ничего не значат. Какая версия диалайзера?
D
