|
|
|
|
|
|
by yawaramin
3447 days ago
|
|
|
> ... 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. |
|
|