Odpověď na názor

Nemám teraz na takéto veci čas, tak odpovedám neskôr.

Toto je celé nejaký vtip???

A nenapadlo vás že JS a TS pri typovej kontrole používa úplne rovnaký typový Engine

Nie, nenapadlo. Pretože nepoužíva. JavaScript nevykonáva typovú kontrolu v zmysle a rozsahu ako ju vykonáva TypeScript, zvlášť nie čo sa týka generického programovania, o ktorom som písal. Pokiaľ sa teda nezmenilo niečo zásadné, kým som sa pozeral iným smerom. Takže v tomto zmysle JavaScript nepoužíva žiadny typový engine a nástroje, ktoré používate a na ktoré sa odvolávate, používajú TypeScript a to aj keď kontrolujete kód napísaný v JavaScripte.

To nie je nejaký nezávislý modul vytvorený mimo ekosystém TypeScriptu, ktorý by používali TypeScript aj JavaScript nezávisle na sebe. To je jednoducho TypeScript.

Pokiaľ sa niečo náhodou zmenilo, a naozaj to vykonáva JavaScript, tak s ohľadom na to, že TypeScript to vykonával o veľa rokov skôr, stále ten kredit prislúcha TypeScriptu, pretože to bol TypeScript, ktorý si v tomto smere získal programátorov.

Čo sa vášho "čistého" kódu týka, ten kód v JavaScripte je čistý z hľadiska spúšťania, ale nie z hľadiska analýzy. Tie anotácie v JSDoc si TypeScript, spúšťaný na pozadí analytickými nástrojmi alebo VS Code, prevedie do svojho vlastného AST, tak ako keby to bol zodpovedajúci zápis v TypeScripte. A rovnako ho vyhodnotí.

(keď už hovoríme o kontrole v IDE/CLI/počas buildu)?

Nie, nehovoríme iba o kontrole v IDE/CLI/počas buildu

Súčasťou môjho komentára bolo:

samostatný sofistikovaný programovací jazyk, ktorý beží počas zostavenia a je použitý na výpočty s typmi, vrátane overovania, transformácií, prevencie umožnenia reprezentácie neplatných stavov, atď.

Hovoríme o generickom programovaní všeobecne. To nie sú iba typové anotácie. To je systém, ktorý vykonáva a používa výpočty s typmi. Na čo všetko sa to používa vám tu naozaj vysvetľovať nebudem.

Porovnanie C# a Java? Ako vážne? Tam sú tie rozdiely úplne na inej úrovni, úplne iný runtime (JVM pre C# chceš povedať?) úplne iný princíp fungovania, funkčné rozdiely, API, atď atď.

Nad rámec nedostatkov v prehľade prístupov k programovaniu máte očividne problémy aj s chápaním písaného textu.

Kde v:

Naozaj sa tí, ktorí programujú v štýle OOP v Jave nemajú vyjadrovať k OOP v C#? Podobne ako sa tí, ktorí píšu funkcionálne programy v Haskelli nemajú vyjadrovať k funkcionálnym programom v F#? Keď tie programovacie jazyky majú niečo spoločné?

... je napísané čokoľvek o porovnaní C# a Javy? Kde je tam napísané niečo o API, princípoch fungovania, runtime, JVM?

Je to o diskusii o tom, čo majú v rámci OOP jednotlivé jazyky spoločné.