部分型がある言語、なんだかんだつらいという印象がある（なぜ？）
パラメータ polymorphism (Haskell、PureScript) など)と比較して サブタイプ polymorphism を搭載した言語 (Java、Typescript) がつらい
多分推論が弱い、型レベルの計算が複雑になる、などが原因だと思う
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。
パラメータ polymorphism (Haskell、PureScript) など)と比較して サブタイプ polymorphism を搭載した言語 (Java、Typescript) がつらい
多分推論が弱い、型レベルの計算が複雑になる、などが原因だと思う