1. We have a describable or demonstrable solution Y for problem X.
2. We have a language that uses Y to solve X.
3. We have several languages that use Y to solve X.
4. Most languages use Y to solve X, and popular languages that don’t are anticipated to do so soon so they can.
5. Any sensible language uses Y to solve X.
> I really hoped that 22 years in my career I would've seen certain problems disappear forever (as in, be solved, formalized, nailed, and never ever discussed again). But alas, nope.
I interpret this comment as referring to “solved number 5”.
And I also find it disheartening that that level of solution, for well known problems, seems so rare.