Where does “typechecker” come from?

typechecker (English) comes from English checker, from English check, from English chequer, from Old French eschequier, from Medieval Latin scaccarium, from Vulgar Latin scaccus, from Arabic شَاه, from Persian شاه — to sire, beget.

typechecker (English): A system or algorithm that verifies values...

Definitions

  1. A system or algorithm that verifies values...

Ancestry of “typechecker”, step by step

typechecker traces back through two separate lines of ancestry.

via English checker

StepLanguageWordMeaning
1EnglishcheckerOne who checks or verifies something; One who...
2EnglishcheckA situation in which the king is directly...
3EnglishchequerThe edible fruit of the wild service tree,...
4Old Frencheschequierexchequer
5Medieval Latinscaccariumchess board; chessboard; exchequer
6Vulgar Latinscaccuschess
7Arabicشَاهking in chess; king; king or check at chess, shah
8Persianشاهking; shah; king; Something that is the biggest...
9Middle Persian𐭬𐭫𐭪𐭠king
10Old Persian𐏋king
11Proto-Iranianxšáyati
12Proto-Indo-Iraniankšáyatihe rules, he has power over
13Proto-Indo-Europeanteḱ-to sire, beget

via English type

StepLanguageWordMeaning
1EnglishtypeA grouping based on shared characteristics; a...
2Middle Englishtypesymbol, figure, emblem
3Latintypusfigure, image; type, form, sort, kind; form,...
4Ancient GreekτύποςA blow, pressing; The results of a blow: mark,...
5Ancient Greekτύπτωto beat, strike, smite; to beat, strike oneself
6Proto-Indo-European(s)tewp-to push, to stick
7Proto-Indo-European(s)tew-to push, to hit
Every word from Proto-Indo-European teḱ-