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…
What about Rust? It has static typing, limited type inference (function parameters need their types declared - by design - will infer otherwise), no JVM, and has several web frameworks. Not sure if any of them would be considered "good" by your definition, but check it out: https://github.com/flosse/rust-web-framework-comparison
I've already decided my next service/api will be in Rust.