型検査って妥当にゃ時間で止まるってのが多くの場合要求されて、にゃので新しい型システム提案するときは停止性とかもよく議論されることににゃるんですよ
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
