部分型がある言語、なんだかんだつらいという印象がある（なぜ？）
フォロー
パラメータ polymorphism (Haskell、PureScript) など)と比較して サブタイプ polymorphism を搭載した言語 (Java、Typescript) がつらい
多分推論が弱い、型レベルの計算が複雑になる、などが原因だと思う
部分型がある言語、なんだかんだつらいという印象がある（なぜ？）
パラメータ polymorphism (Haskell、PureScript) など)と比較して サブタイプ polymorphism を搭載した言語 (Java、Typescript) がつらい
多分推論が弱い、型レベルの計算が複雑になる、などが原因だと思う