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

Note Detail

きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-01 20:36:48)
Rhombusは型を自在に開発するためのインフラであり、S式の単純なマクロ展開とそれに基づいて型システムを実装するときの課題を annot という基盤で解決しているからやっぱり最強だと思う。
Rhombusにとってもはや型はプリミティブな言語機能ではないと捉えるのがおそらく正しい。
いまリリースされているRhombusが動的型付けだったから、最初不当に低く見てしまってたのだけど実際にはRhombusの可能性は無限大すぎる。