強力な型システムほしい……
s/強力な型システム/強力で多項式時間で決定可能で現実的に高速な型システム/g
あとついでに推論も楽だと嬉しいな
Mastodonに参加して、世界で起きていることを見つけよう。
連合内の誰でもフォローして投稿を時系列で見ることができます。アルゴリズム、広告、クリックベイトはありません。
