• CanadaPlus@lemmy.sdf.org
    link
    fedilink
    arrow-up
    12
    arrow-down
    1
    ·
    1 年前

    DefinitelyTyped is the exact kind of thing I’m talking about. You put TypeScript definitions over things, but under the hood it’s still JavaScript and can fail in JavaScript ways.

    • intensely_human@lemm.ee
      link
      fedilink
      arrow-up
      4
      arrow-down
      1
      ·
      1 年前

      It can’t fail in javascript ways that require specific sequences of code to be written, if those sequences of code aren’t in the range of output of the Typescript compiler.