> ... type declarations and templates would seemingly take up more time than the actual logic of the program.... Just a small point: type declarations are part

> ... type declarations and templates would seemingly take up more time than the actual logic of the program.... Just a small point: type declarations are part of the actual logic of the program. In type theory, types are logical propositions and values are proofs of those propositions.