4 ms·
C++ is strongly typed. I believe there are frameworks that will give you denotational semantics in C++. It shouldn't surprise anyone that feature X is availabl
by perbu 9y ago
C++ is strongly typed. I believe there are frameworks that will give you denotational semantics in C++.
It shouldn't surprise anyone that feature X is available in C++. But I acknowledge there are tons of shotguns strewn around everywhere in C++ so you can blow your feet off.
- willtim 9y agoC++ is not "strongly typed" when compared to almost any other statically-typed language, e.g. Ada, OCaml, Haskell or Rust. This is a big part of why it is so insecure.