TScert: A Sound Core for TypeScript

(github.com)

11 points | by bpierre 22 hours ago

1 comments

  • conartist6 1 minute ago
    L.O.L. Is the person who made this sound of mind?

    There's there is this little, really piddlingly small problem that TS isn't a sound language. Its type system, for convenience, pretends JS works in ways that are not how JS ACTUALLY works