
#26 – Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
Misreading Chat · Jun Mukai
August 21, 201831m 46s
Audio is streamed directly from the publisher (misreadingchat.files.wordpress.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
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