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

Note Detail

きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-04 21:49:39)
悲しいけど、 rhombus-graph-executor にパフォーマンスについてのリミテーションのブロックを追加してスピードが必要な場合は Typed Racket 版の graph-executor を使うように促した……。graph-executor は割と既に実用しており、実用の範囲の中での最小クラスの事例でも find-livecheck とかが終わらなかったからモデル検査まで含めるといまのところ Typed Racket 版じゃないとうまくいかなそうなことが分かってしまった…

https://github.com/tojoqk/rhombus-graph-executor#limitations

---Replies---

きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-04 21:53:23)
たぶん、Typed Racketの契約的な境界でだいぶスピードダウンしているはずだけどチューニニングするのは難しそう。スピードを求めるならやはり全部 Typed Racket で書ききる必要があるか。
もしくは将来 Typed Rhombus ができて Typed Racket と型の互換性があれば希望がある…