And if your boss is the type to pivot way too often and want it done yesterday, then they don’t deserve code that is prove in the right places so you just get an LLM to add typing to everything after the fact…
> then they don’t deserve code that is prove
I don't get it. Types are a way to write code. Nothing to do with how fast/much the code changes.
> then they don’t deserve code that is prove
I don't get it. Types are a way to write code. Nothing to do with how fast/much the code changes.