> C or Go where the set of features can all be held in your head and the actual code is explicitly stated rather than generated by macros and generics and such.

> C or Go where the set of features can all be held in your head and the actual code is explicitly stated rather than generated by macros and generics and such. The C preprocessor is a Turing-complete, and a lot of C code abuses it to implements things a lot more complex that just "macros and generics and such". Because of that C with a preprocessor literally has a infinite "set of features", a pretty big set of features almost garanteed to not fit anyone's head. I don't think you can call something with - both by it's own code and it's libraries code - arbitrary turing-complete preprocessing "understandable".