Apart from screaming case, which is for textual macros, i approve.

It is also a “refactoring”.

In many modern environments the second I start scrolling my eyes start to bleed. Yes, I want 60 fps min. That was the first part. The second part is about stability. 20 fps may be enough for typing, but it needs to be 20 fps all the time. Not the average between 1 and 60, it is makes IDEs unusable.

If FPS is NOT an important metric in text editing, you are doing something wrong. Otherwise, good points.

Ahh, it is the same thing. Rust example surely has some cruft, but mostly for the better. I’m sure not all of it is needed.

Show the alternative, I’ll have a good laugh.

Correspondence is quite a weak relation. Very far from one being another.

I don’t think you understand how percentage works.

Proofs can be represented as programs, not the other way around. Also, USA allows for algorithm parents, and algorithms are maths. While I agree with you, your reasoning is not correct.