2025-09-22 02:54 UTC
@dgkf@fosstodon.org While I agree that a static type checker would be amazing, it would be a much more ambitious project.
Also, I have personally come to the realization (while using S7) that one huge benefit of the type annotations are not only the (static) type checking, but to make it easier for me, the developer, to reason about code, and I also get this with dynamic input checking.
Replies (1)
-
@dgkf@fosstodon.org 2025-09-22 05:21
@sebffischer@mastodon.social yeah, I think the immediate benefit would be more for developers. I'd see it as something that would run at build time and throw an error if the type checking failed. It would be able to catch things like changes to the function signature of dependency functions that fail to type check while avoiding runtime overhead. Long term this could be used to optimize byte code.