> if you're a developer who wants to exploit the multiplicative factor of a truly flexible and extensible programming language with state of the art features from the cutting-edge of PL research, then maybe give Lean a whirl!

Does not sound that appealing to me. Sounds like little consistency and having to learn a new language for every project.