Isn’t it actually true for extremely large amounts of effort like that formally verified OS kernel?
“If you try really hard, you *can* write safe code in C/C++” is the flat-earth movement of software engineering
-
-
-
If you're using a theorem prover to write & verify your C, you're not really *writing* C, you're using C as an incredibly tedious compiler backend. As I understand it, SEL4 was developed as an executable specification in Haskell before it was semi-automatically translated to C.
- Još 1 odgovor
Novi razgovor -
-
-
eh, I disagree. There are lots of tools and techniques used (smart pointers are a great one)
-
you're wrong though
- Još 6 drugih odgovora
Novi razgovor -
-
-
Safe Code is Flat Earth Theory.
-
Not sure what you're saying here.
- Još 4 druga odgovora
Novi razgovor -
-
-
I did a project once where https://twistedmatrix.com/ was PID 1 and I still think about it all the time
Kraj razgovora
-
-
-
There are very significant differences between C and C++, I would not lump them together. Nearly impossible to write safe code in C. You have a much better chance in C++ with the STL, smart pointers, tools like ScopeGuard and even simple destructors.
- Još 3 druga odgovora
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.