I think so. I’ve heard a lot of talk about relying on the optimizer for static computation, but it doesn’t seem to me like such a clean distinction as relying on the type system. I’d like to better understand what programming model we’re headed toward for static computation, and how this relates to things like generated functions, which seem to me like the canonical example of static computation and are entirely in terms of the type system.
There’s a lot more to say about this, but I’m on a family trip until tomorrow. So I’ll save it for after I return, and after this topic splits (assuming that happens).