Home | Notifications | New Note | Local | Federated | Search | Logout
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-28 20:34:49) 結構考えたけど、もしも将来 Typed Rhombus を実現できるならそれは結構好みかもしれない。たぶんそれには Typed Racket にある Natural 型が実現されているはずでそういった面は差別化要素になりうるな