GP
Удаче с переездом
Size: a a a
2020 November 15
P
я б переехал, звучит как збс проблема для решения
E
смотрю австралийскую фп-конферкенцию и тут это
D
лучше б посмотрел как нормально спать
KC
лучше б посмотрел как нормально спать
+
AD
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
И м в получаем необходимость словить логику высших порядков
AD
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 на самом то деле то же костыльная потому что в любом месте приводится к lub если явно не пропишешь, что делает много проблем для использования их как чекед эксепшнов.
AD
ну это в идеальном мире
Да в реальном тоже, реквестишь чейнджи в мо и люди быстро отучаются.
AD
а что такое монадка
Бикатегория
AD
и на меня джавист накинулся, и начал кукарекать, что это не нулл чек, потому что здесь нигде нулов не видно
Тянет на ебанатику
AD
Адресок не подскажите?
λ
Я готовлюсь к первому жизни стендапу
λ
Буду постить тупые скетчи там
А⚙
Адресок не подскажите?
0x188deffh5a803c40
GP
Я готовлюсь к первому жизни стендапу
Хуя
λ
О конфах, конечно