SG
Только на днях об этом читал снова, книга конечно не новая, но вряд ли что могло измениться.
Size: a a a
2020 November 25
YM
Только на днях об этом читал снова, книга конечно не новая, но вряд ли что могло измениться.
это которая?
YM
Но ведь только тесты могут показать правильно ли работает или просто компилировалось/запустилось.
чтобы доказать, что программа корректно работает, это нужно сделать математически. как это делали для ядра L4
SG
это которая?
Лучшие примеры разработки ПО | Спольски Джоэл Х
в оригинале она "the best software writing"
в оригинале она "the best software writing"
YM
не читал кажется
YM
диего марадонна умер
YM
Набиуллина считает, что программу льготной ипотеки нужно своевременно завершить
YM
всё, россияне, кончились ваши 7%
VT
А что "россияне", а основном застройщики наваридись. Ты цены видел?
YM
цены на кредиты? или на недвижимость?
YM
я бы щас пожалуй не стал бы брать кредит, время неспокойное
YM
хоть и ставка низкая, но ну её нахуй
VT
цены на кредиты? или на недвижимость?
На недвижимость
YM
видимо от региона зависит. в нашем особо ничего не изменилось
VT
Видимо, у вас очень низкий спрос
YM
наверное, я не очень интересуюсь этим вопросом
VG
всякий строгий язык думает об ослаблении типизации, а каждый язык со слабой рано или поздно хочет её усилить :)
perl не хочет :)
VG
Там типизация очень строгая, никаких неявных приведений типов
и опять машинными типами ограничились?
VG
я бы щас пожалуй не стал бы брать кредит, время неспокойное
а кончится ваще революцией
YM
и опять машинными типами ограничились?
по-моему да