You also probably have a much better idea of where the unsafe boundaries in your application are. Letting the models know this information up front has given me a dozen or so legitimate vulnerabilities in the application I work on. And the signal to noise ratio is generally pretty good. Certainly orders of magnitude better than the terrible dependabot alerts I have to dismiss every day

Here’s your chance to educate us. It’s not at all obvious what sorts of limitations you’re talking about.

How would you change the Type System to fix this particular issue?

>> Don’t pass bare functions if you don’t know what the parameters are.

> This is exactly the kind of thing I want my programming language's type system to catch for me, if I'm working in a language with a static type system like TS.

Hows your compiler supposed to know you don't know what the parameters are?

>if we could remove the human element and replace it with infallible decision making AI would it improve sport?

Probably for some sports and for some elements of other sports. I've thought about this in regards to an umpire's strike zone in baseball. If the strike zone were the same every single time, this might tip the scales in one direction (probably batters). Let's say it advantaged offense even moreso, do higher scoring games make better sport, or are they more enjoyable to watch?

I dont know, but personally I've always enjoyed the slightly random element of the strike zone.

I asked earlier because I'm genuinely curious, but do you have a payload that would bypass this particular regex?