Do you think that perhaps functional programming can be a happy compromise between high level abstractions / declarative code style and strong math / logic foun

Do you think that perhaps functional programming can be a happy compromise between high level abstractions / declarative code style and strong math / logic foundations? My programming experience is largely in Python and Java and so I can relate to both sides you present - I feel constrained by the aggressive static typing of Java but also feel that Python can be a bit too fast and loose with typing and I often find that dealing with unexpected behaviors takes as much time as it would to just have them written formerly and properly into the code to begin with through a strong type system.