TypeScript の DefinitelyTyped から宣言間違いを探す論文について向井が話します。
- DROPS – Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
- Understanding TypeScript
- Safe & Efficient Gradual Typing for TypeScript
Follow-up
- Kinuko Yasuda on Twitter: “#misreading 24 割とよくみてるとこなのでコメント…SharedArrayBufferは違うドメイン間ではメモリ共有できなくてよいはず。最近のESではAgent Clusterというのがあってそれがメモリ共有できる単位になっており、HTML側では基本origin違うと共有できなくていいとなってます https://t.co/ZFVPSfvpfl”
- human eslint –fix on Twitter: “#misreading SharedArrayBuffer のメモリモデルがなぜ必要という話、Worker同士の共有モデルのためって説明されたけど、Workerはあまり使われておらず、WebAssemblyプロセスが実質Workerなのでメモリ共有に必要、という感じではないか、と思った”
- Meltdown and Spectre
- WebAssembly.compile() – JavaScript | MDN
- Threading proposal for WebAssembly
- Behind the tech podcast