История изменений
Исправление Xenius, (текущая версия) :
Господа, а как пишутся безопасные проги?
1) Не использовать C и C++
2) Если всё-таки использовать, то поучитесь у девелоперов OpenBSD. Но я думаю, что лучше просто не использовать.
3) Можешь писать на OCaml, или если хочешь ещё большего хардкора, на Coq, который генерирует код на OCaml или на ATS, который генерирует код на C, ещё есть Idris, но он пока не готов.
Чем сильнее в языке система типов, тем сложнее написать небезопасный код.
Исправление Xenius, :
Господа, а как пишутся безопасные проги?
1) Не использовать C и C++
2) Если всё-таки использовать, то поучитесь у девелоперов OpenBSD. Но я думаю, что лучше просто не использовать.
3) Можешь писать на OCaml, или если хочешь ещё большего хардкора, на ATS, ещё есть Idris, но он пока не готов.
Чем сильнее в языке система типов, тем сложнее написать небезопасный код.
Исходная версия Xenius, :
Господа, а как пишутся безопасные проги?
1) Не использовать C и C++ 2) Если всё-таки использовать, то поучитесь у девелоперов OpenBSD. Но я думаю, что лучше просто не использовать. 3) Можешь писать на OCaml, или если хочешь ещё большего хардкора, на ATS, ещё есть Idris, но он пока не готов.
Чем сильнее в языке система типов, тем сложнее написать небезопасный код.