Ask HN: Current state of statically typed web framework
I'd like to know if any of you had a good experience with a statically typed web framework.
I'm currently starting a new project, and I haven't been able to find a statically web framework that match my need.
I've been using Flask with Python for several years, and dynamic typing shows its limit when your project reaches a significant size, as you basically need a 100% code coverage to avoid any runtime error that could have been detected at compile time in another language.
I used Yesod (Haskell) and Play (Scala) too. While I enjoy the type safety, I find them quite bloated compared to Flask.
I saw some new frameworks coming from the Rust and TypeScript community, but I'd like to know any feedback from people that actually used them.