AZ
как пример - открой их optional
Size: a a a
2020 May 15
CC
Дак покрайне мере std верифят
Чем верифицируют
AZ
Дак покрайне мере std верифят
это ложь
AZ
пожалуйста, не вбрасывай того, чего ты не понимаешь
AZ
верификация - это иди в CompCert
AZ
или в Idris
AZ
там это верификация, а иначе это ровно такая же верификация, как в любом другом ЯП (никакая)
CC
Дак покрайне мере std верифят
Я про формальную верификацию. Когда математически доказывается полное соостветсвие реализации указанной спецификации
AZ
Смит снова на бан за долбоебизм нарывается
/¯
Да пофиг на математическое доказательство. Тут же вопрос сексуальный? Кого выебут юристы в случае факапа?
CC
Да пофиг на математическое доказательство. Тут же вопрос сексуальный? Кого выебут юристы в случае факапа?
В случае раста никого
/¯
В случае раста никого
Именно
CC
потому что дается AS IS и никто гарантий не берет на себя
M
Да пофиг на математическое доказательство. Тут же вопрос сексуальный? Кого выебут юристы в случае факапа?
Ну никого по факту
CC
а если в оракл ждк факап
M
Ну тоесть фирму разработчика если левые
CC
можно трахать саппорт
CC
и тебе обязаны решить вопрос