I do not mourn typing in code.

But I am still quite annoyed at the slopful nature of the code that is produced when you're not constantly nagging it to do better

We've RLed it to produce code that works by hook or by crook, putting infinity fallback paths and type casts everywhere rather than checking what the semantics should be.

Sadly I don't know how we RL taste.