This does raise the question of why one couldn’t use an even more expressive language with a more powerful type system that won’t fall on its face the moment you abstract something in a non-trivial way. Legacy apps? I know a lot of Rails projects that have turned into maintenance nightmares, this could give them a way to fight the creep.

But for new projects? Oy.