170 похожих чатов

Интересно, а object можно называть динамическим типом данных?)

10 ответов

2 просмотра

Нет, его можно было бы называть top type если бы тип система сишарпа была sound. Но она не такая, поэтому сидим с грустными ебалами

Ayrat Hudaygulov
Нет, его можно было бы называть top type если бы т...

что такое sound как правильно загуглить?

Larymar GC
что такое sound как правильно загуглить?

Это значит что она непротиворечива и сходится (decidable) В сишарпе это не так

Larymar GC
так а приведи пример почему это не так?

Ну банальный отстрел ног из-за ковариантности массивов. Надеюсь код писать не надо?

Чот нагуглил про сишарп 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.

Ayrat Hudaygulov
Чот нагуглил про сишарп https://stackoverflow.com/...

Оо, там тоже ебаную ковариантность массивов в пример приводят

Larymar GC
получается жаба лучше

В жабе нет нулабилити и поэтому там полный ад и пизда

Ayrat Hudaygulov
В жабе нет нулабилити и поэтому там полный ад и пи...

JSR 305, давно уже эту проблему, по-моему мнению, решил насколько это возможно

Похожие вопросы

Обсуждают сегодня

я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
короче сгенерила мне эта штука код на ассемблере: struc string val { common local .value dq .value .value: if ~val eq db val end if db 0 } fo...
Vi Chapmann Chapmann
12
Всем привет! Массив вводится с клавиатуры, кол-во элементов неизвестно, поэтому я указал arr db 100 dup(?) С нахождением максимума проблем нет, а вот минимум почему-то всегд...
En Vind Av Sorg
11
#include <stdio.h> int main(void) { int n; scanf("%d", &n); int digits1[n] = {0}; int digits2[n] = {0}; я не могу таким образом заранее массив нулями заполнить?
Linus
12
в сях есть множество как в питоне? для удаление дубликатов
Linus
25
я про форму записи. смысл указывать что 8 байтный регистр 8 байт?
Aiwan \ (•◡•) / _bot
10
читать файл максимально быстро? странный вопрос))
zamtmn
53
Вроде бы вопрос уже заезжанный, но тем не менее У меня есть функция menu() которая выводит набор возможных действий, а затем спрашивает у пользователя что он хотел бы сделать....
David Golovatin
2
Кто создает тут ботов для телеграмм групп ?
Antskup
8
а как бы вылезти из ИО, что то типа IO -> Ether или в какую сторону смотреть ? что то туплю
Fedor
14
Карта сайта