- 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 seem disappointing. Tell me if I'm wrong!