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

Note Detail

Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-04 09:38:30)
うーん、dot providerの仕組みではモナドの return （もしくはアプリがティブファンクターの pure）はかけないな。流石にこれは無理か…それともなにかうまくやる方法がないか…
---Reply---
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-04 09:50:10)
レシーバなしのコンパイル時ディスパッチはできてもおかしくなさそうだな。これができればいける。

---Replies---

きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-04 09:55:37)
static_info に  Maybe アノテーションによって maybe_return 関数を詰めることができれば勝利かもしれない