Е
Ничего.
Ну тады спасибо, КО :)
Size: a a a
2020 August 24
AB
между прочим, gradualizer это ловит
Е
между прочим, gradualizer это ловит
первый раз слышу о таком :)
AB
первый раз слышу о таком :)
и это человек, которому типа интересна статическая типизация
ГК
первый раз слышу о таком :)
оно для erlang
RP
Gradualixir, велика разница
Е
и это человек, которому типа интересна статическая типизация
Ну как-то вот так, оно прошло мимо меня
AB
"Dialyzer is not a typesystem. It's a discrepancy analyzer which aims to prove the presence of runtime crashes. It avoids false positives."
https://github.com/josefs/Gradualizer/wiki/Comparison-to-Dialyzer
https://github.com/josefs/Gradualizer/wiki/Comparison-to-Dialyzer
LL
Я привел ответную аргументацию:
В спеках написано, что функция возвращает
В спеках написано, что функция возвращает
options, что это тебе даст? Нужно еще копаться в доках или коде чтобы расшифровать этот optionsУ меня редактор кода за два нажатия покажет что в этой спеке находится
Е
У меня редактор кода за два нажатия покажет что в этой спеке находится
Это не аргумент, код может быть на гитхабе или редактор без такой возможности.
LL
Это не аргумент, код может быть на гитхабе или редактор без такой возможности.
Да, такое может быть
LL
Но я это к тому что стоит всё равно переходить всем на прекрасный
neovim+coc.nvimЕ
Но я это к тому что стоит всё равно переходить всем на прекрасный
neovim+coc.nvimэтот переход, наверное, сравним по сложности с переходом с C++ на Haskell :))))
LL
этот переход, наверное, сравним по сложности с переходом с C++ на Haskell :))))
А каким ты редактором пользуешься?
Е
А каким ты редактором пользуешься?
Sublime Text 3
AB
"Dialyzer is not a typesystem. It's a discrepancy analyzer which aims to prove the presence of runtime crashes. It avoids false positives."
https://github.com/josefs/Gradualizer/wiki/Comparison-to-Dialyzer
https://github.com/josefs/Gradualizer/wiki/Comparison-to-Dialyzer
здесь же есть интересный пример
может быть, наш пример с kwlist отсюда же как-то растет?
@spec depth4() :: {1,{2,{3,4}}}
def depth4(), do: {1,{2,{3,5}}} # ловится
@spec depth5() :: {1,{2,{3,{4,5}}}}
def depth5(), do: {1,{2,{3,{4,6}}}} # не ловитсяможет быть, наш пример с kwlist отсюда же как-то растет?
Е
я иногда пользуюсь vim на уровне блокнота :) полагаю neovim недалеко ушел
LL
Sublime Text 3
О боже...
Е
О боже...
Пробовал VSCode не понравилось совсем
LL
Пробовал VSCode не понравилось совсем
Почему?