G
Т-34 85
Он логику не проверит
и логику он тоже проверит, смотри automated theorem proving
Size: a a a
2020 March 05
Т8
хромиум писали дебилы
Насчёт дебилов не знаю, но что как для дебилов-это точно
Т8
иди в гугл, скажешь им как делать надо
Там много кто участвует
Т8
и логику он тоже проверит, смотри automated theorem proving
Не видел, чтобы этим кто-то пользовался. Летай в облаках дальше
G
лол
AZ
Т-34 85
Там много кто участвует
то есть на твоем проекте эта проверка гарантированно покажет 0 срабатываний, я правильно понял?
G
Т-34 85
Не видел, чтобы этим кто-то пользовался. Летай в облаках дальше
Т8
то есть на твоем проекте эта проверка гарантированно покажет 0 срабатываний, я правильно понял?
Нет, я такого не говорил
AZ
Т-34 85
Нет, я такого не говорил
ты только что говорил что со смартпоинтерами ошибиться может только идиот
Т8
Т8
Почему ТЫ так не пишешь?
G
Т-34 85
Это единичный проект. А может, вообще единственный
правильно, что использует большинство - то определенно лучше
DS
Т-34 85
Не видел, чтобы этим кто-то пользовался. Летай в облаках дальше
Ну на том же coq очень много чего доказывают, если что.
И проверки там выполняет как раз компилятор.
И проверки там выполняет как раз компилятор.
Т8
ты только что говорил что со смартпоинтерами ошибиться может только идиот
Нет, я сказал, что пара ошибок - это не страшно.
А вот юзать delete при смартпоинтере - это да, идиот
А вот юзать delete при смартпоинтере - это да, идиот
G
Т-34 85
Почему ТЫ так не пишешь?
ну вот свой следующий проект определённо начну верифицировать
Т8
правильно, что использует большинство - то определенно лучше
Нет, не лучше. Просто это реально, а то скорее фантазии
G
фантазии, лол
Т8
Ну на том же coq очень много чего доказывают, если что.
И проверки там выполняет как раз компилятор.
И проверки там выполняет как раз компилятор.
Почему нет общепопулярного софта на нём?
Т8
ну вот свой следующий проект определённо начну верифицировать
Удачи. Желаю, чтобы он взлетел, а не умер в тени