3 ms·

Yup. Rather than bringing 100,000 devs from one typed language to another, Typescript brings 1,000,000 devs from untyped to typed.

• bt4u 7y ago
  There's no such thing as an untyped programming language that's used in the real world. JavaScript and typescript definitely aren't. Maybe you mean dynamically typed
  • Sharlin 7y ago
    This is just a question of semantics. In mainstream programming language jargon it’s ”dynamically typed”, while in (applied) type theory it’s ”untyped” or, perhaps more accurately ”monotyped” or ”unityped”, because types are fundamentally invariants of a program that can be verified without executing it.
    • bt4u 7y ago
      Yeah why bother using correct terminology, it's just semantics. Plus is minus. Compiler is interpreter. Up is down. Leg is arm. Let's all just use our own personal definition of things, it doesn't matter Dynamic typing is not "untyped" in formal theory, I have no idea where you got that from
  • heavenlyblue 7y ago
    There’s always that “intellectual” who would say something smart while being absolutely wrong.
    • bt4u 7y ago
      Sure. But I'm not wrong