August 21, 2018

#26 – Mixed Messages: Measuring Conformance and Non-Interference in TypeScript

31 minutes

TypeScript の DefinitelyTyped から宣言間違いを探す論文について向井が話します。感想などはハッシュタグ #misreading か [email protected] にお寄せください。

https://misreading.chat/wp-content/uploads/2018/08/ep26.mp3

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

Kevin Scott

...more