DM
что плохого во флоу тайпинге?
у меня сложилось впечатление (я совсем чуть чуть смотрел), что это очень частный случай
Size: a a a
2020 January 21
Oℕ
Ну тут сложно, @alexknvl нравится флоутайпинг
Oℕ
Тем более, что для нулла теперь в дотти есть флоутайпинг
Oℕ
опаки не саморекурсивные
Ну так то рекурсивных опаков всего есть штук 10 используемых
Oℕ
Несложно их и на энирефах захерачить по старинке, но в среднем кажется недоработкой
(
что плохого во флоу тайпинге?
В том, что флоу-тайпинг - это неполная формализация и будет куча корнер-кейсов, когда он не сможет вывести тип правильно
(
И чтобы это фиксить, котлин дизайнеры придумали контракты
(
Ну, это в котлине по-крайней мере, я хз, в других язык флоу тайпинг мб лучше
(
Ну и это не говоря о том, что в котлине вообще инференс слабый
NV
В том, что флоу-тайпинг - это неполная формализация и будет куча корнер-кейсов, когда он не сможет вывести тип правильно
если это не приводит к unsoundness, то какая разница?
(
если это не приводит к unsoundness, то какая разница?
Приводит
(
(
val a = listOf(1)
a as MutableList // не крашнется
a.add(1) // крашнется с NotImplementedException
a as MutableList // не крашнется
a.add(1) // крашнется с NotImplementedException
(
Пушто listOf с одним аргументом под капотом создаёт SingletonList и ансейф каст успешно проходит, после которого этот лист выводится как мутабельный
Oℕ
val a = listOf(1)
a as MutableList // не крашнется
a.add(1) // крашнется с NotImplementedException
a as MutableList // не крашнется
a.add(1) // крашнется с NotImplementedException
это верно для скалы и хаскеля
Oℕ
хотя ладно, упадёт на самом касте
Oℕ
но не то, чтобы фундаментальная штука
NV
Пушто listOf с одним аргументом под капотом создаёт SingletonList и ансейф каст успешно проходит, после которого этот лист выводится как мутабельный
Почему SingletonList является подтипом MutableList?
NV
Не похоже на ошибку флоу тайпинга
(
Почему SingletonList является подтипом MutableList?
А я кстати хуй его знает, возможно ты прав