Isn’t functional stuff closely related to type theory & type systems in all langs? In that sense, it’s prevented whole classes of bugs from ever getting to prod in the first place.

Responsible for 0% of code in production

Best code is no code at all