@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.