No, they are not C with all its flaws. They offer strict type checking, preventing a lot of constructs which would have unintended consequences when passing a C

No, they are not C with all its flaws. They offer strict type checking, preventing a lot of constructs which would have unintended consequences when passing a C compiler. Modula introduced a proper module concept, without the need for header files without their issues, allowing for fast separate compilation of modules. Go picks up a lot of these ideas and brings them to a modern language.