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

Note Detail

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

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

---Replies---

きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-28 23:42:04)
これ、Rhombusはめちゃくちゃすごい新言語なのにすごいことが伝わりにくすぎるのでは……。