@RanaldClouston@fediscience.org
Post #2139004
2026-04-14 11:53 UTC
@dif perhaps @fabianm would have a suggestion?
Replies (1)
-
@fabianm@mastodon.acm.org 2026-04-14 22:15
@RanaldClouston @dif As of now, that is still an unsolved question in general. My own work is essentially trying to show that it is possible to have sound gradual typing that has good performance and other good properties. But since you qualified your "sound" with "(somewhat)", you may be willing to make compromises. If you want performance and some semblance of soundness, it's usually better to compromise on expressiveness/behavior.