OGads the compilation times rival C++! The Haskell tooling is pretty good though I've always thought, and as for packages that just depends.
Yep, OCaml is significantly faster in compiling than... well almost any compiled and optimized language. Some things you might find odd in its language is design is not 'holdovers' but specifically for speed reasons, the language was designed to be quite pure and amazingly fast to parse.
Ocaml is also about the same age as Haskell, which is about the same age as Erlang, early 90's / late 80's, and it has a lot more 'real-world' use than Haskell, but Haskell is more 'loud' because it is used more as a research language. Now to define these more clearly, OCaml's real-world usage is like Erlang, it is quite functionally pure but it will also sacrifice that in the name of 'getting stuff done', compared to Haskell, which is purely functional, in about every aspect, which is nice but can make it hard to get some work done, however because it is so pure it is taught more as a functional language to push the idioms through to your mind. For doing work though I'd recommend OCaml over Haskell any day, for both this reason as well as significantly faster compilation.
The ocaml website itself has a great tutorial section. Real World OCaml is a bit dated but it works well too, however it assumes you have certain packages (like 'Core') installed that you will not by default (though they are nice, you cannot use them everywhere). Other than that go through one of those sets-of-problems websites and solve them.
Not really a forum like this, most OCaml's I've seen are on the mailing list or on discord more lately (plus IRC as always). The reason most topics are more than 'basic' is because OCaml is actually a very simple language, it is easy to get up with the basics very quickly as well as about every basic question is answered somewhere already, Google.
Also wtf it submitted my post early 'as' I was typing, keeping editing it...
cough cough Um yes. ^.^
I've actually been learning F* lately too. It is not 'quite' as powerful as OCaml in overall abilities, however it has two things going for it, first is that it does not compile to its own thing, rather it compiles to both OCaml and F#, can take your pick, and it has dependent typing (Oh if OCaml had dependent typing it would be such an awesome language), so that might be fun for you to learn too.
Yeah but sadly its lack of a first class module system hobbles it pretty hard, you can kind of work around it with the class system but that incurs an (at times significant) overhead in both coding and performance. It is pretty good if you absolutely have to work with the .NET ecosystem though, otherwise it is just OCaml with some features stripped and slower so you may as well just use OCaml then.
Oh, and OCaml has awesome tooling too! Merlin is behind almost all of it. ^.^