Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-04 09:50:10)
レシーバなしのコンパイル時ディスパッチはできてもおかしくなさそうだな。これができればいける。
---Reply---
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-04 09:55:37)
static_info に  Maybe アノテーションによって maybe_return 関数を詰めることができれば勝利かもしれない

---Replies---

きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-04 10:27:30)
逆向きの伝搬は無理説あるか…。まあでも名前空間の扱いが改善してるし、Agdaでやってるように module の open で解決するのがいいのかもしれない