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

サーバーの情報

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

らりお・ザ・何らかの🈗然㊌ソムリエ

* コンパイル時点では HIR → MIR の段階で型検査
* HIR や MIR でも一応 span 情報から元ソースの部分との対応はとれる
* later pass の lint なら構文木から簡単に部分式の型がとれる

これは……さてどうするか

やりたいことはコード変換なので、 lint を悪用するというクソみてえな方法もないわけではないけど、ちょっとなぁ……