Ask HN: A statically typed alternative to Python with batteries included

I studied in an university that encouraged C and Java. When I started work, I fell in love with Python's succinctness compared to the the verboseness of Java. It was a joy to code in. Python + vim was a great combination.

Fast forward 10 years and I still do most of my development work in Python. Now I am a single person working on multiple projects. Python has been great as it has well maintained libraries for almost all my needs.

I work a lot in Django for a few web projects. I find the structuring of Django to be very clean and lends itself to writing modular code. But debugging it is sometimes a pain, especially if templates have multiple inheritance.

As context switching is hard for me, I want to write the code as modular as possible, as testable and error-free as possible. I believe a statically typed language is better in this respect. I also feel it will result in better performance.

So I am looking for a statically typed language that has well supported libraries esp for web development, is readable and supports atleast some functional constructs like filter, map, list comprehensions etc, and works on linux.

What would you suggest I try?