次世代言語Part8[Haskell Rust Kotlin TypeScript]

[0840 デフォルトの名無しさん 2018/02/24(土) 17:43:47.02 ID:yL1hQTQw]

>>832が分かりにくいのって、structual-subtypingで特定のメンバの型に互換性がないのを
「型同士の互換性」の単位で出力してしまってるからじゃないか？
TypeScriptならVSCodeに代入元と代入先の型を展開した状態で比較するビューが付けば解決だと思う