BV
Хотя бы примерно понятно накой
Size: a a a
2020 March 12
BV
С летами и другими уже всё несколько хуже
I
Проблема с
exhaustive что у него скоуп всех типов"".exhaustive
println("hell").exhaustive
BV
Проблема с
exhaustive что у него скоуп всех типов"".exhaustive
println("hell").exhaustive
Разве ж это проблема? Это скорее особенность 😁
VP
Проблема с
exhaustive что у него скоуп всех типов"".exhaustive
println("hell").exhaustive
Повесь на Unit
BV
Повесь на Unit
Только там может быть и не юнит
VP
То чувство, когда в джаве этот кейс покрыт 😐
AM
Проблема с
exhaustive что у него скоуп всех типов"".exhaustive
println("hell").exhaustive
Пиши компайлер плагин, который будет считать твой exhaustive на всём, кроме when-ов, ошибкой 🌚
VP
Только там может быть и не юнит
Ну это скорее редкий случай
AM
Ну это скорее редкий случай
Неправда
AM
Любое выражение в конце любой ветки when, которое окажется не юнитом, всё сломает же.
VP
Любое выражение в конце любой ветки when, которое окажется не юнитом, всё сломает же.
Хм, наверное 🤔
BV
Да, боюсь, что редкость этого случая под сомнением
VP
Но всё равно там скорее будут действия без возвращаемого значения
IK
Страшная штука. Но практика показывает, что when используется в основном в однострочных функциях, где как-раз идет return type, и компилятор будет негодовать если чет пропустим. А так – прикольно. Но было-бы приятнее синтаксисом языка разделить бы случаи exhaustive и non-exhaustive when
IK
Тоже кстати по when-else вопрос: делал ли кто-то у себя поддержку паттерн-матчинга? Насколько лаконично вышло, и какой подход использовали?
AM
Но всё равно там скорее будут действия без возвращаемого значения
Да какой-нибудь
++i или функция не с юнитом в конце ветки -- и до свидания.IK
В свое время попробовал добавить, вышло офигенно жирно.
VP
Да какой-нибудь
++i или функция не с юнитом в конце ветки -- и до свидания.; Unit спасётНо конечно тоже выглядит так себе