Post #1809097
2026-04-14 10:11 UTC
Since there are a lot of type theory folks here, maybe someone can help me out
Does anyone know a good overview/reference of how to make gradual typing (somewhat) sound without destroying performance?
Replies (2)
-
@RanaldClouston@fediscience.org 2026-04-14 11:53
@dif perhaps @fabianm would have a suggestion?
-
@maxsnew@types.pl 2026-04-15 01:14
@dif no