A
а в чем ошибка? Test выше не задан?
Как раз второй Test скажет unsafe
Size: a a a
2020 August 05
ИИ
Как раз второй Test скажет unsafe
не понимаю. а первый не скажет?
ИИ
первый не скажет, а второй скажет потому что Test определена только в одной ветке первого case
как она может быть определена, если требуется для вызова foo:some
ИИ
Потому что переменные из case текут наружу.
еще раз - в первом case Test требуется для вызова foo:some
ИИ
в первом case Test создается только в одной из веток, вот в чем проблема. После первого case Test может быть определена, а может и не быть
еще раз - где она там создается? Она матчится, при этом передается в качестве аргумента в foo:some
ИИ
а вот когда матчится она течет наружу
не течет - просто область видимости у case такая
ИИ
да, она становится определенной только в одном из случаев. это я затупил. смотрю и не понимаю кажется что
{Test, _} = foo:test(Test)ИИ
ну на мой взгляд это течет, но это уже вопрос терминологии
if/case/receive scope тут написано https://www.erlang.org/course/advanced#scope
ИИ
да, там даже begin end не помогают