The Coolest Optimization That You Can Do With Outward Type Inference

The way type inference works today in the compiler is you have the types kind of flow in a certain direction that it's like you would say let X be something. But what you just described in you was like the opposite. It can say, yeah, this, this,this function that you're calling is always going to return a string. Therefore, I don't need to coerce it to a string. And then you can infer that anywhere else that that value is being used, it's also a string. Yeah. Those little things are kind of silly, but you can imagine like they really speed up the result that you get if you, if you benchmark them. You're like