GP
Size: a a a
2020 November 15
GP
Про ссылки на зум в Твиттер нада
λ
Почему раньше не шэрила?
ΛВ
А шо, кто-то понимает, как связан флоу анализ и литерал-типы?
ΛВ
Alexandru Nedelcu опубликовал блогпост с размышлениями о flow-sensitive typing на примере старого-доброго
Такое активно используется в тайпскрипте и котлине.
И что могу сказать: ДА, ОЧЕНЬ ХОЧЕТСЯ. Казалось бы, уже в 2.13 появились literal types, а в третьей скале будут дизъюнкции типов. Поэтому есть надежда, что через какое-то время отпадёт необходимость запрещать
https://alexn.org/blog/2020/11/12/i-like-option-get.html
Option#get из скалы. Если вкратце, flow-sensitive typing — это когдаif (option.nonEmpty) {
println(option.get) // ← проходит проверку компилятора
} else {
println(option.get) // ← упадёт с ошибкой
}Такое активно используется в тайпскрипте и котлине.
И что могу сказать: ДА, ОЧЕНЬ ХОЧЕТСЯ. Казалось бы, уже в 2.13 появились literal types, а в третьей скале будут дизъюнкции типов. Поэтому есть надежда, что через какое-то время отпадёт необходимость запрещать
Option#get в линтерах.https://alexn.org/blog/2020/11/12/i-like-option-get.html
w
Alexandru Nedelcu опубликовал блогпост с размышлениями о flow-sensitive typing на примере старого-доброго
Такое активно используется в тайпскрипте и котлине.
И что могу сказать: ДА, ОЧЕНЬ ХОЧЕТСЯ. Казалось бы, уже в 2.13 появились literal types, а в третьей скале будут дизъюнкции типов. Поэтому есть надежда, что через какое-то время отпадёт необходимость запрещать
https://alexn.org/blog/2020/11/12/i-like-option-get.html
Option#get из скалы. Если вкратце, flow-sensitive typing — это когдаif (option.nonEmpty) {
println(option.get) // ← проходит проверку компилятора
} else {
println(option.get) // ← упадёт с ошибкой
}Такое активно используется в тайпскрипте и котлине.
И что могу сказать: ДА, ОЧЕНЬ ХОЧЕТСЯ. Казалось бы, уже в 2.13 появились literal types, а в третьей скале будут дизъюнкции типов. Поэтому есть надежда, что через какое-то время отпадёт необходимость запрещать
Option#get в линтерах.https://alexn.org/blog/2020/11/12/i-like-option-get.html
могу провести ресерч по читаемости среди моих коллег
λ
Никак не связан)
λ
я когда в синге работал, у нас умные индусы делали так
val myVar = if (myOpt.isDefined) myOpt.get else nullЕсть .orNull
AT
Есть .orNull
орнул