Нет, его можно было бы называть top type если бы тип система сишарпа была sound. Но она не такая, поэтому сидим с грустными ебалами
что такое sound как правильно загуглить?
Это значит что она непротиворечива и сходится (decidable) В сишарпе это не так
так а приведи пример почему это не так?
Ну банальный отстрел ног из-за ковариантности массивов. Надеюсь код писать не надо?
Чот нагуглил про сишарп https://stackoverflow.com/questions/23939168/is-c-sharp-type-system-sound-and-decidable#:~:text=A%20type%20system%20is%20%22sound%22%20if%20we%20are,runtime.%20The%20C%23%20type%20system%20is%20not%20sound.
Оо, там тоже ебаную ковариантность массивов в пример приводят
получается жаба лучше
В жабе нет нулабилити и поэтому там полный ад и пизда
JSR 305, давно уже эту проблему, по-моему мнению, решил насколько это возможно
Обсуждают сегодня