Ask HN: Current state of statically typed web framework
Hi,
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.
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.