mastodon.cardina1.red は、数々の独立したMastodonサーバーのうちのひとつです。サーバーに登録してFediverseのコミュニティに加わってみませんか。

サーバーの情報

3
人のアクティブユーザー

たとえば証明器なり型検査器が間違っていることは当然あると思うけど、それは動的型付き言語で無数のプログラマが独自に書くオレオレ検査より信用できると思う

あるいはデザインや制約を型に落とし込む段階で不十分だったりすることもあるかもしれないけど、それでも少なくとも静的検査のレベルで「弱い型付きの言語より状況が悪くなるということはない」のは言えるよね