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

Note Detail

きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-28 23:09:25)
Rhombus の annot.macro, dot.macro まわりについて理解し始めたかもしれない。これ結構面白いかも…
---Reply---
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-28 23:38:39)
Rhombus の annot と dot による foo.bar 的なアクセサ記法は新規性があることが分かった。これは動的ディスパッチでもなければ、レコード型情報への直接アクセスでもない。
annot と dot による foo.bar はプログラマが自由に定義できるのに、それは動的にディスパッチするものではなくて型っぽいannotの記法と組み合わせて静的に確定させることができるということか…

これは本当に欲しかったものかもしれない…

---Replies---

きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-28 23:40:31)
annotとdotだけ定義してbindを定義しないことで抽象の壁を守ることもできると…