Fil-C: achieves memory safety for C and C++ code by transforming all unsafe operations in LLVM IR into code that does dynamic checking to catch all violations of Fil-C’s ruleshttps://fil-c.org/how
🔥7😢4🙏1
C++20 concepts are structural: What, why, and how to change it?https://www.foonathan.net/2021/07/concepts-structural-nominal/
www.foonathan.net
C++20 concepts are structural: What, why, and how to change it?
C++20 added concepts as a language feature.
They’re often compared to Haskell’s type classes, Rust’s traits or Swift’s protocols.
Yet there is one feature that sets them apart: types model C++ concepts automatically.
In Haskell, you need an instance, in Rust…
They’re often compared to Haskell’s type classes, Rust’s traits or Swift’s protocols.
Yet there is one feature that sets them apart: types model C++ concepts automatically.
In Haskell, you need an instance, in Rust…
🗿3
Patterns for Defensive Programming in Rust
https://corrode.dev/blog/defensive-programming/
https://corrode.dev/blog/defensive-programming/
Corrode Rust Consulting
Patterns for Defensive Programming in Rust | corrode Rust Consulting
I have a hobby.
Whenever I see the comment // this should never happen in code, I try to find out the exact conditions under which it could happen.
And in 90% of cases, I find a way to do just that.
More often than not…
Whenever I see the comment // this should never happen in code, I try to find out the exact conditions under which it could happen.
And in 90% of cases, I find a way to do just that.
More often than not…
👍1🥴1🤨1