I'm starting a new project and don't know which language to use. My 'must have' requirements are:

1. Be able to run on Windows/LinuxMacOs natively (native executable) - user should be able to just run the exe (when on Windows for example) and see the results.
2. No runtimes/interpreters (no jvm, clr, etc) - one file download should be enough to run the application.
3. Full unicode support.
4. Be able to manipulate OS threads (create them, run multiple tasks in parallel on multi-core CPUs, etc).
5. Be reasonably fast (Python level performance and better).
6. To have some kind of standard library that does low-level, mundane tasks.
7. Not very niche and have some community behind it to be able to ask questions.

My 'nice to have' requirements are:

1. Language should be functional
2. It should have good string manipulation capabilities (not necessarily regex)
3. Not extremely hard to learn

I'm thinking about Haskell now but keeping in mind OCaml as well. Please advice if my choice is correct.