R
Size: a a a
2020 November 15
λ
Это антон дегузло?
Oℕ
Это антон дегузло?
да
λ
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
Ващето флоу сенситив тайпинг в скале3 уже есть для A | Null
Oℕ
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
ой блт
Oℕ
оч хочу наконец начать писать
if (res.isEmpty) res.right.get
else res.left.get
if (res.isEmpty) res.right.get
else res.left.get
AT
оч хочу наконец начать писать
if (res.isEmpty) res.right.get
else res.left.get
if (res.isEmpty) res.right.get
else res.left.get
Топ
Oℕ
мне вот интересно
Oℕ
мне вот интересно
через 30 минут автозапостится мвсль
M
через 30 минут автозапостится мвсль
Олег
M
Вопросик есть
R
через 30 минут автозапостится мвсль
Настроил етл из мозга в веб?
M
А ты проверял наличие антител после ковида в дальнейшем?
Oℕ
А ты проверял наличие антител после ковида в дальнейшем?
неа
Oℕ
Настроил етл из мозга в веб?
жена подписана на канал, если узнает, что я думою, пока пошёл за мукой с кефиром, поругает