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

Note Detail

Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-04 09:55:37)
static_info に  Maybe アノテーションによって maybe_return 関数を詰めることができれば勝利かもしれない
---Reply---
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-04 10:27:30)
逆向きの伝搬は無理説あるか…。まあでも名前空間の扱いが改善してるし、Agdaでやってるように module の open で解決するのがいいのかもしれない

---Replies---

きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-04 10:30:52)
そもそももともと書いていたコードの本質ってモジュールを open する機構がほしかっただけのようにも見える