• CanadaPlus@lemmy.sdf.org
    link
    fedilink
    arrow-up
    12
    arrow-down
    1
    ·
    4 months ago

    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
      ·
      4 months ago

      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.