Plenty of people are using high-level languages for 'serious' programming. I think the best example is how a lot of investment firms are using R, a language highly specialized for statistical data ...
TLA+ is a high-level programming language used to model complex, concurrent, and distributed programs and systems. It was created by Leslie Lamport and is backed by Amazon Web Services, Microsoft, and ...