Where does “type safety” come from?
type safety (English) comes from English safety, from Middle English savete, from Old French sauveté, from Medieval Latin salvitas, from Latin salvus, from Proto-Italic *salawos, from Proto-Indo-European solh₂wós, from Proto-Indo-European sōlh₂- — mercy, comfort; comfort, mercy.
type safety (English): the extent to which a programming language...
Definitions
- the extent to which a programming language...
Ancestry of “type safety”, step by step
type safety traces back through two separate lines of ancestry.
via English safety
| Step | Language | Word | Meaning |
|---|---|---|---|
| 1 | English | safety | The condition or feeling of being safe; security;... |
| 2 | Middle English | savete | Safety, security; being unharmed or unharmable |
| 3 | Old French | sauveté | — |
| 4 | Medieval Latin | salvitas | — |
| 5 | Latin | salvus | safe, saved, preserved, sound, unharmed,... |
| 6 | Proto-Italic | *salawos | whole |
| 7 | Proto-Indo-European | solh₂wós | — |
| 8 | Proto-Indo-European | sōlh₂- | mercy, comfort; comfort, mercy |
via English type
| Step | Language | Word | Meaning |
|---|---|---|---|
| 1 | English | type | A grouping based on shared characteristics; a... |
| 2 | Middle English | type | symbol, figure, emblem |
| 3 | Latin | typus | figure, image; type, form, sort, kind; form,... |
| 4 | Ancient Greek | τύπος | A blow, pressing; The results of a blow: mark,... |
| 5 | Ancient Greek | τύπτω | to beat, strike, smite; to beat, strike oneself |
| 6 | Proto-Indo-European | (s)tewp- | to push, to stick |
| 7 | Proto-Indo-European | (s)tew- | to push, to hit |