AD
да его совет директоров сожрет
Size: a a a
2021 April 01
VP
SEC такую честность не прощает, а он ещё и рецидивист)
VP
1 потому что несколько label нельзя? 🤔
I
Можно :)
VP
Ну иначе WTF, зачем такое разрешать
VP
Страшно
I
А зачем запрещать?
I
Ну то есть, у нас даже такое можно
while (...) {
while(continue) {}
}VP
Меньше разрешено - меньше слёз при вводе новых фич из-за поломанной совместимости
VP
Ну тут-то всё понятно, типы сходятся
VP
Ок, 1 потому что компилятор не может вывести тип лямбды?
I
Может и выводит.
VP
VP
Если не Unit, то должно падать на return без выражения
I
Не, там всё хитрее. Тип, который он выводит - это () -> Nothing, из-за того, что мы возвращаем результат return'а. Не падает из-за Unit coercion. foo()() упало бы в рантайме с невозможностью привести Unit к Nothing, но там println. А так как Nothing подтип всех типов, получается resolution ambiguity.
VP
Так-так, у тебя в паззлере баги компилятора? Ну это нечестно)
VP
Но почему если тип лямбды вывелся в Nothing, можно просто сделать return?
2021 April 02
I
return return
I
А чего ты ожидал от разработчика компилятора :)
AG
Ожидали фич компилятора без багов. 😒