I haven't found a web server language to my liking yet. Maybe I'm too picky, but I'd like to satisfy all of these requirements: - Static typing -- I want to eliminate as many runtime bugs as I can - Type inference -- Like in SML and Haskell - No JVM -- Personal preference, but I'd rather not pull in this monster if I don't have to. - Good pre-made web framework -- I've briefly looked at OCaml but the web frameworks s…
With type hints in Python 3.5+, does Python fit your list? Genuinely curious.
- Static typing -- Type hints enable restriction of the dynamic typing behavior of default Python to mimic static types
- Type inference -- Not familiar with the particular behavior of type inference of Haskell, but yes.
- No JVM -- Definitely no JVM, but not particularly high performance so...there is that.
- Good pre-made web framework -- Lots of good ones, Python ecosystem is fairly rich in general, but ones I have used: Django, Pyramid, Flask, etc.