Although type theory originated (e.g. already discussed by Russell in 1910s) much earlier than programming languages, I have this feeling that languages such as C considered type-checking from a very engineering-oriented approach. For example, it may have more to do with CPU/bus width than the correctness of reasoning in a program.

Is my guess true? What are the considerations for data types in C, Pascal, ALGOL 68, etc? Any early design documents?

  • 1
    $\begingroup$ For C, probably the datatypes matched what the CPU could handle. $\endgroup$ – Yuval Filmus Jun 9 '19 at 16:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.