A pokusy přidat statické typování. A to bylo dřív ze strany rubistů hemzů...
Tak sorbet to dělá inline: https://sorbet.org/
Takže podle mě v pohodě. Jak jsem psal, nejsem Rubista a psal jsem to večer, než abych si dělal rešerši a čekal sem že mi dá nekdo odpověď. Se vším respektem k tobě, podle mě tady zbytečně čeříš vodu ;) Že by Rubisti nějak křičeli o typování se mi nikdy nezdálo, to spíš Python komunita o tom debatuje do dnes.
Vznášíš otázku, která v příspěvku vůbec není. Podle mě se hádali o tom, jak to typování zavedou, jestli špatně nebo dobře, to nechám na uživatelích Ruby. Nicméně třeba OCaml má podobně možnost zapsat `mli` do samostatného souboru, stejně F#. Pro dynamický jazyk tam může být výhoda, že se to dá přidat bez zásahu do kódu. Ale já v ruby nepíšu, ty snad jo?
Trochu ses chytnul na můj výrok, že typy se píšou vedle, což asi není úplná pravda, jak sem rešeršoval, ale jistý si tím nejsem protože Ruby naznám, stejně jako ty. A nechci dopadnout takto: https://res.cloudinary.com/practicaldev/image/fetch/s--etbVS7PL--/c_limit%2Cf_auto%2Cfl_progressive%2Cq_auto%2Cw_880/https://thepracticaldev.s3.amazonaws.com/i/bkvr83xnp350khbetqcw.JPG
Jo, taky mě fascinuje, kolik lidí je ochotno se veřejně blamovat pseudoučeným plácáním o něčem, o čem nemají ani páru...
Nejde je o ty jednotlivost, co píšete. Typový systém Javy a typový systém Typescripty mají společné pouze to, že jsou to statické typové systémy. Hned pak se ale zásadně rozchází. Java má třídní systém založený na stromu dědičnosti, Typescript na kompatibilitě typových definic. Už od základu úplně různé přístupy s poměrně zásadními dopady na celkový výsledek.