Unsound TypeScript: spread syntax

こんにちは､びしょ〜じょです｡ 最近は脳を全く使っておらずなんたらかんたら｡ Promise の話はなんかムリそうだったので､今度は勘ではなく文献等にあたって実装するかもしれません｡ でもそれってオレやる必要ある? とにかく今回は別の話をします｡ はじめに TypeScriptの利用を積極的に避けている人､賢い｡ TypeScriptは漸進的型付けを採用しており､よくわからない型に any を付けることができます｡ そしてTypeScriptは(gradural) subtypingを採用しており､さらに any があらゆる型のtop typeとなっております｡ このことは､文献[1]を読んでいただくと分かるとおり(読むまでもなく直感的にも分かりますが)､型システムはunsoundになります｡ const x: string = "hoge"; // string <: any const

[igrep]

spread構文怖いな